Summary

Total Alerts: 10

Rules Matched: 3


Rule: clojure

Matches: 2

vim-slime

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…

neorepl 0.4: Tests, Inspector, Tracing and Agents

Matched Content:

  • [Title] neorepl 0.4: Tests, Inspector, Tracing and Agents
  • [Content] neorepl 0.4 came out last week, and since I never got…
  • [Content] … Three releases in two weeks, and neorepl now has most of what I listed under “What’s next”…

Rule: rescript

Matches: 2

Swipe Keyboard

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…

OSS updates September and October 2026


Rule: rule-ai

Matches: 6

Backdoors in official Claude Code extensions

Matched Content:

  • [Title] Backdoors in official Claude Code extensions

Anthropic hacked to deliver remote access trojan

Matched Content:

  • [Content] … Comments…

Elegance and intelligence are anticorrelated

Matched Content:

  • [Content] … However, for a sufficiently intelligent LLM, a series of a few hundred logical steps is not…
  • [Content] … that help us understand the universe. Could LLMs be smart enough to avoid needing to come up with…

Show HN: Sketch Stadium – watch your agent play Pictionary

Matched Content:

  • [Content] … or * use a proprietary capability (e.g. Claude Code monitors) Today, there’s no easy, consistent…

Show HN: Automatic deduction of FlashAttention kernel from ~25 lines of SQL

Matched Content:

  • [Content] … If the Bitter Lesson is a central dogma of machine learning, then why not formalize it with relational…

Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge

Matched Content:

  • [Content] … largely be enabled by the incredibly intelligent LLMs that understand formal verification and its…
  • [Content] … engineering, and Lasm was built mostly by Claude Opus 5.5 with my high-level direction. Comments…