My Programming Language Pragmatics videos on Syntax have been fun! The latest video closes the series, covering
* Connections between parsing techniques and automata theory
* Parsing error recovery with panic mode
* Generalized LR parsers and Parsing Expression Grammars (PEGs)
I'm working on a C++ project in my free time.
No deadlines. No requirements. No rush.
At times, I feel like refactoring and cleaning up the code. At other times, I just want to write dirty code as fast as possible, which just does the job.
I realise that many dev practices I…
Why should you learn an FP lang?
Almost every programming language feature you love was invented in an FP lang decades before it became mainstream:
- Garbage collection (lisp, 1950s)
- Generics (ML, 1978)
- Closures (scheme 1975)
- Sum types and pattern matching (NPL 1970s)
🚀 Continue CLI is here!
The async coding agent that actually understands your codebase. Making AI continuous in your dev workflow.
- Stream AI responses in real-time
- Run parallel background tasks
- Smart commit messages, code analysis & more
Very cool to see Notion shipping offline mode, building on research we did at @inkandswitch on rich text CRDTs!
If you're curious why rich text CRDTs matter, why they're hard, and how the Peritext algorithm works, here's an 8min conf talk sharing the key highlights:
Very cool to see Notion shipping offline mode, building on research we did at @inkandswitch on rich text CRDTs!
If you're curious why rich text CRDTs matter, why they're hard, and how the Peritext algorithm works, here's an 8min conf talk sharing the key highlights: https://t.co/v1ssHo3Br6
I’ve been working on a new way to make software! It’s called 42pages.
it feels like a design tool: mock something up, then LLM infers the functionality, turning it into real code.
now available for anyone to try!
Thoughts on Omnivore shutting down:
Many people enjoyed Omnivore because it was free, but being free was part of its demise.
As an independent app maker, you must have a way to generate revenue or your product will die. As a user you must demand a way to pay makers for the…
Thoughts on Omnivore shutting down:
Many people enjoyed Omnivore because it was free, but being free was part of its demise.
As an independent app maker, you must have a way to generate revenue or your product will die. As a user you must demand a way to pay makers for the…
I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: mikedodds.github.io/files/talks/20…
Nice paper for a long read across 114 pages.
"Ultimate Guide to Fine-Tuning LLMs"
Some of the things they cover
📊 Fine-tuning Pipeline
Outlines a seven-stage process for fine-tuning LLMs, from data preparation to deployment and maintenance.
🧠 Advanced Fine-tuning Methods…
Can #toolsforthought like RoamResearch, Obsidian, and Notion actually help us think better? If so, how?
In our #UIST2024 paper, we distill hypertext patterns from real-world usage that augment sensemaking by addressing temporal + spatial fragmentation of sensemaking
Structured programming did a lot to move programming forward, away from GOTOs. But it seems like some of the things we want to do nowadays--incremental computation, reactive systems, algebraic handlers, light cooperative concurrency--end up writing their own runtime in userland.
205 Followers 185 FollowingAt Alternova, building stuff that’s useful for humanity 📱👾 and sharing my thoughts along the way📝💭. On 𝕏 to make internet friends. No agenda.
282 Followers 4K Followingribosome & shape analysis at Dao Duc lab, UBC Vancouver;
CryoET at Klumpe lab, IMP/IMBA Vienna;
some tubulin and structural biology infrastructure work
87K Followers 291 FollowingAbakcus is the best curation site for math and science. Please subscribe my weekly newsletter! It is FREE! https://t.co/uPkgdO2mwT
8K Followers 426 FollowingSolo game programmer. Prev Head of Engineering at Proxima and Senior Engineer at @Unity.
Built @playsuckup ($1M+), now building a next gen engine for the web
2K Followers 237 FollowingWe believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
17K Followers 181 FollowingChief Quant, Dir Analytics (+many hats) @_MathAcademy_.
I do our algo-heavy infra including the AI expert system & knowledge graph.
✍️ about serious upskilling
275K Followers 447 FollowingCo-Founder of ByteByteGo | Author of the bestselling book series: ‘System Design Interview’ | YouTube: https://t.co/9gPSJSrtPU