F#

Functional-First, .NET, Type Providers, Computation Expressions

Feeds to Scour
SubscribedAll
Scoured 83 posts in 6.0 ms

VCA#056: The Reality Check

 🎛️SuperCollider  Content type: News  Content type: Blog

Caliper: Probing Lexical Anchors versus Causal Structure in LLMs

 🛡️Privacy  Content type: Academic
arxiv.org·

The AI Convergence Problem

 🧮Datalog

AI-Native Services: The Definitive Guide (1 minute read)

 Gleam
emcap.com·

How long before we stop reading the code?

 ⚙️Compilers
thenewstack.io·

“Everything, Everywhere, All at Once Surveillance”: Your Questions Answered

 🛡️Privacy
boltsmag.org·

Friday 5 June — Claude Code 2.1.163

 🌨️Nix Flakes
lukerenton.com·

Porting Declarative UI to HarmonyOS: A Heuristic-guided LLM Approach

 Effect Handlers  Content type: Academic
arxiv.org·

When AI builds itself 👷, AI is not a line item 📝, local LLMs for agentic coding 🤖

 λFunctional Programming
tldr.tech·

Chiaroscuro Attention: Spending Compute in the Dark

 🔊Faust  Content type: Academic
arxiv.org·

From Symbolic to Geometric: Enabling Spatial Reasoning in Large Language Models

 🔗Parser Combinators  Content type: Academic
arxiv.org·

Symbolica 2.0: programmable symbols, JIT evaluators, and type-erased callbacks in Rust

 📄Typst

Mechanistic Interpretability: The Key to Trusting Agentic AI

 🤔Programming, Programming Languages, Philosophy  Content type: Discussion
bradenkelley.com·

The Comprehensive Guide to Elixir's List Comprehension

 λFunctional Programming
mitchellhanberg.com·

AttackPathGNN: Cross-function vulnerability detection in smart contracts using state interference graphs and conjunction pooling

 🔬Closure Analysis  Content type: Academic
arxiv.org·

How LLMs Work

 🦥Haskell  Content type: Discussion

Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me

 ⚙️Program Synthesis  Content type: Blog  Content type: Discussion
tildalice.io·

Revisiting GSM-Symbolic: Do 2026 Frontier Models Still Fail at Confounded Grade School Math?

 Effect Handlers
lesswrong.com·

Revo, the Programming Language

 λFunctional Programming

Signals #003: Courtesy, Character, and the Collapse of Distinction - Christopher Butler

 🧠Personal Knowledge Management
chrbutler.com·
Sign up or log in to see more results

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help