🦙 Friends Don't Let Friends Use Ollama | Sleeping Robots
sleepingrobots.com/dreams/stop-...
#ollama #cpp #llm #opensource
Posts by Arno Dirlam
At work, a significant portion of my time is spent writing Credo checks to improve code quality.
We've just open sourced 14 checks that we think will be useful to the #ElixirLang community, and we'll add more over time.
Give 'em a try, let me know what you think! 🎉
tylerayoung.com/2026/04/13/c...
Personally I think writing formal proofs is one of the best applications of AI, and I think we're going to see a lot more of it in the future, as I wrote a few months ago (martin.kleppmann.com/2025/12/08/a...). I've adjusted my own research agenda for the coming years to help make this happen.
I was able to wire up Popcorn to run Elixir and PGlite to run Postgres, both in the browser. This means we can have an interactive and safe sandbox for arbitrary code.
Which means a really good experience learning Ecto on a website.
I'll publish it soon :)
#ElixirLang
Want to ship faster? Slow down first. Effective AI use demands clarity in decision-making before rushing into execution.
#ai #best-practice #development #reading-list
The EU blocked mass scanning of messages, but the fight is far from over. www.eff.org/deeplinks/2...
NumberFlow is an animated number component, available for Svelte, React & Vue 2️⃣4️⃣ ↕️ - madewithsvelte.com/numberflow-f...
About (not using) MCP
RISC-V chip designer SiFive raised a $400M Series G led by Atreides at a $3.65B valuation; CEO Patrick Little says it is the final funding round before an IPO (Stephen Nellis/Reuters)
Main Link | Techmeme Permalink
AI makes code cheap to write. Verifying it is now the hard, expensive, human part — and the "prompt and review" model risks burning out the very engineers we need to catch what AI gets wrong. My latest for @leaddev.com
leaddev.com/ai/shipping-...
Wrote up some thoughts on Anthropic's Project Glassing, where their latest Opus-beating model is available to partnered security research organizations only. Given the recent alarm bells raised by credible security voices I think this is a justified decision.
simonwillison.net/2026/Apr/7/p...
Recent advances in quantum hardware and software have accelerated the timeline on which quantum attack might happen.
Cloudflare is responding by moving our target for full post-quantum security to 2029. https://cfl.re/4ts69WQ
MozFest is coming back to Barcelona in 2026, and tickets are already on sale. I bought mine right away because I loved it last year.
It really feels like a kind of digital counterculture.
events.mozillafoundation.org/e/mozilla-fe...
Alright! Introducing Dux: distributed #DuckDB backed dataframes for #elixirlang. cigrainger.com/blog/introdu... v0.3 dropped today and with it, distribution is fully supported and Dux is officially outperforming Explorer. I'm excited to hear what you all think.
Two papers came out last week that suggest classical asymmetric cryptography might indeed be broken by quantum computers in just a few years.
That means we need to ship post-quantum crypto now, with the tools we have: ML-KEM and ML-DSA. I didn't think PQ auth was so urgent until recently.
Divine right of kings le guin print
On press today www.etsy.com/listing/9524...
I would be so happy to see poll support in @bsky.app 🥺
It would change the way I do open-source because I really care about y’all’s opinion 🫶
Google's AI design tool "Stitch" got a major update. One prompt → 4 UI screens in ~3 minutes.
New: infinite canvas, voice input, DESIGN.md, MCP server (Claude Code/Cursor), instant prototypes.
Figma export with proper layers. Free Figma Make, basically.
stitch.withgoogle.com
Check out juttu.app if you want to
- add a comment section to your blog
- integrate with @standard.site so that your posts appear on related feeds
I'm designing Local-First features for Hologram (instant UI, optimistic updates, offline resilience) and I'd love to hear your ideas.
What's your dream DX? Don't think about what's possible - think about what you'd want if there were no constraints.
Full discussion: elixirforum.com/t/designing-...
I set up a minimal self-hosted data lake platform with DuckDB, DuckLake and @taleshape.bsky.social.
The whole setup is a single docker compose file that covers all basic data needs from ingest and storage to transform and visualization:
taleshape.com/blog/simple-...
Supply chain attack protection:
1. Version lockfiles and during update use versions that are more than 24 hours old
2. Dev Container for developer’s machine isolation
3. Split CI into jobs with different permissions and install dependencies only in some
4. Minimize dependencies
I started migrating my open-source projects from Prettier & ESLint to oxfmt & oxlint.
oxlint works 3-4 times faster while using my JS-based third-party ESLint plugins.
github.com/nanostores/n...
github.com/logux/oxc-co...
I just recovered 14GB of disk space in 2 minutes.
No subscription. Just one @raycast.com extension.
Mole found 37 forgotten node_modules folders on my Mac and nuked them! It also:
• Removes old installers
• Cleans caches, logs, and temporary fi...
Day 183 of #100DaysOfRaycast
1 of 2
As fossil fuel prices have shot up, it’s a good time to consider going electric. I’ve had an electric car for a decade and a heat pump for a year, and I’m very happy with both — simply all-around better technology than burning stuff. www.noahpinion.blog/p/maybe-you-...
CSS nesting is now Baseline 🎉
Write nested selectors directly in CSS — just like Sass, but natively.
.card {
color: black;
&:hover { color: blue; }
.title { font-weight: bold; }
}
No preprocessor needed.
Learn more 👇
developer.mozilla.org/en-US/docs/...
More good news from Germany.
Scientists have discovered that they were wrong about how long it takes for solar panels to degrade, and that they can last twice as long as previously expected.
Bluesky's CEO talks about their new app, Attie, an agentic social app built on Bluesky's AT Protocol, which uses Claude and enables users to build custom feeds (Sarah Perez/TechCrunch)
Main Link | Techmeme Permalink