Alert Scout Daily Report - 2026-10-23
Summary
Total Alerts: 6
Rules Matched: 4
Rule: clojure
Matches: 1
vim-slime
- Feed: planet-clojure
- Link: https://tarnbarford.net/journal/vimslime
- Published: 2026-10-23 03:43
Matched Content:
- [Content] … or something similar, this is why it’s…
- [Content] … on the left is me in gVim writing some awful Clojure [1]. On the right is a screen buffer in which I started a Clojure REPL. When I want to try run some code I can send any vim text selection to the REPL in a keystroke (or two).</p> <p><img alt=”vim…
- [Content] … <p>It doesn’t have to be a Clojure REPL either, we can send anything to a screen shell. We could run git commands, find, grep, sed, etc. Like with the Clojure REPL we can even interact with any terminal programs…
Rule: clojure-db
Matches: 1
Posts that Hacker News liked
- Feed: planet-clojure
- Link: https://obryant.dev/p/hn/
- Published: 2026-10-23 19:00
Matched Content:
- [Content] … points, 457 comments Biff.graph: structure your Clojure codebase as a queryable graph 147 points, 32…
- [Content] … 33 comments Biff.core: system composition for Clojure web apps 138 points, 33 comments Biff – a batteries-included web framework for Clojure 137 points, 23 comments Should you Work Hard?…
- [Content] … HN: Biff – Self-hosted Firebase alternative for Clojure 103 points, 19 comments Building a CRUD App with Datomic Cloud Ions 100 points, 26 comments Structuring large Clojure codebases with Biff 98 points, 8 comments Show…
Rule: rescript
Matches: 1
Swipe Keyboard
- Feed: planet-clojure
- Link: https://tarnbarford.net/journal/swipe
- Published: 2026-10-23 03:43
Matched Content:
- [Content] … <h2 id="swipe-loading">Loading</h2> </div> <p>I initially…
- [Content] … in ClojureScript or Clojure, so my code my vary from…
- [Content] … to using native Javascript maps</a>.</p> <p>I found that <a…
Rule: rule-ai
Matches: 3
LLMs are making formal software verification feasible at a much larger scale
- Feed: hn
- Link: https://www.anthropic.com/research/formal-verification
- Published: 2026-10-22 22:54
Matched Content:
- [Title] LLMs are making formal software verification feasible…
editmd 0.1.0
- Feed: planet-clojure
- Link: https://kirahowe.com/2026/oct/22/editmd-0-1-0
- Published: 2026-10-23 02:04
Matched Content:
- [Content] I made a markdown editor for MacOS! With Claude writing most of my code now I spend a lot more…
- [Content] … this was built with heavy assistance from Claude (I primarily use Opus 5.5 right now), but it is…
- [Content] … coming to appreciate how much better at coding Claude is than I ever was. It&aposs kind of sad to admit…
The Rise and Fall of Jev
- Feed: hn-frontpage
- Link: https://blog.alexewerlof.com/p/rise-and-fall-of-jev-eval-hype-vs-llm
- Published: 2026-10-23 09:21
Matched Content:
- [Content] … Comments URL:…