Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
med-mastodon.com is one of the many independent Mastodon servers you can use to participate in the fediverse.
Medical community on Mastodon

Administered by:

Server stats:

370
active users

med-mastodon.com: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#computerscience

14 posts12 participants2 posts today
Public
screwlisp

#softwareEngineering #computerScience #programming #lisp #commonLisp #interview #macro #discussion with historical notes-

screwlisp.small-web.org/show/V

My quick notes on the downloadable interview discussion with @vnikolov and @kentpitman About Vassil's assertables classed toggleable assertion macro design.

Provokes lots of fascinating historical notes from Kent about what the ANSI CL and earlier standardisations were doing and had in mind.

screwlisp.small-web.orgVassil Nikolov’s assertables with Kent Pitman
Public *
screwlisp

#computerScience #engineering #commonLisp #show #live #lispyGopherClimate communitymedia.video/w/uBZexon

#climateCrisis #haiku @kentpitman

We have @vnikolov talking about common lisp and type checking macros

+:
We do not have incredible artist @shizamura who has her fourth #scifi comic volume finished being funded or something (?) sarilho.net/en/ (if you speak english and not portuguese).
She promises to record something about semantics for us in the future.

#lambdaMOO live chat

LISPY GOPHER SHOW The gopher and lisp alien are flanked by two red-skinned demons carrying radio equipment through flooded wreckage. The lisp alien's hand-nose holds a microphone. #UNIX_SURREALISM by @prahou@merveilles.town anonradio.net 000UTC Wednesdays
Public
Flipboard Tech Desk

Computer engineer and Apple veteran William "Bill" Atkinson has died of pancreatic cancer at age 74. Atkinson created the QuickDraw graphics engine, which made the Macintosh interface possible and, says @arstechnica's @benjedwards, "transformed abstract computer science into intuitive visual experiences that millions would use daily."

"I say this with no hyperbole: Bill Atkinson may well have been the best computer programmer who ever lived," wrote veteran Apple analyst @gruber on his Daring Fireball blog. "Without question, he's on the short list. What a man, what a mind, what gifts to the world he left us." Here's Edwards' story; find Gruber's full tribute at the second link.

flip.it/UJO0cf

flip.it/ImgyIy

Bill Atkinson in 1987.
Ars Technica · Bill Atkinson, architect of the Mac’s graphical soul, dies at 74By Benj Edwards
#ComputerScience#BillAtkinson#SoftwareEngineering
Public *
rk: it’s hyphen-minus actually

I watched on YouTube, where Dr. Kelsey Houston-Edwards (PhD Mathematics, Cornell) explained a recent discovery in CS by Ryan Williams involving computational complexity.

She started out by explaining Turing Machines, to give some intuition.

Anyway, the comment section is filled with “duh obviously Turing machines use tapes? of course modern computers with disks are faster idiot” and/or “quantum woo says time isn’t real so this is meaningless” and it’s giving me a headache.

#computerScience
Public
TuxAcademy

🎯 Learn from Real Mentors. Build Real Skills.

Kickstart your Data Science career with TuxAcademy – where learning is hands-on and guided by industry experts.

✅ Project-Based Learning

✅ Online & Offline Modes

✅ Industry-Recognized Certification

📍 Location: SA 209, Town Central, Ek Murti, Greater Noida West

📞 +91 7982029314

#TuxAcademy#RealSkills#TechTraining
Public
jpl99

How Accurately Do Large Language Models Understand Code?

arxiv.org/html/2504.04372v1

"This paper presents the first large-scale empirical investigation into the ability of LLMs to understand code. Inspired by mutation testing, we use an LLM’s ability to find faults as a proxy for its deep understanding of code. This approach is based on the insight that a model capable of identifying subtle functional discrepancies must understand the code well."

It appears that coding LLMs are vulnerable to misleading code comments, misleading variable names and misleading dead code. They still have shallow understanding of code, based on syntax and tokenization designed for natural languages, instead of analyzing code semantics. Writing a lot of incorrect comments can confuse them 😉

arxiv.orgHow Accurately Do Large Language Models Understand Code?
#ComputerScience#AI#ArtificialIntelligence
Public
nilesh

I wrote a new blog post.

Coding Agents are supersets of not just programs and ML models, but also for the first time, PROGRAMMERS!.

Agent is the first neurosymbolic computation unit that can generate more capable units than itself! 🤯

A unified Eval theory could unlock:

✅ Evolutionary search for optimal agents
✅ Estimation of quality, cost, constraints
✅ Dual-mode (symbolic & differentiable) execution

Link to full post: nilesh.trivedi.link/thoughts/w

#ComputerScience#AI#typetheory
Public
Sarah Lea

I asked a Harvard postdoc which skills are essential to thrive as a researcher in AI & Biomedicine:

His answer:
:blobcoffee: Cultivate abstract thinking.
:blobcoffee: Build solid foundations instead of chasing hypes.
:blobcoffee: Think independently, embrace a do-it mindset, stay curious and persistent.

Knowledge is accessible. Thinking is up to us.

What skills are you trying to develop?

#career#careergrowth#careeradvice
ExploreLive feeds
About