Feeds to Scour
SubscribedAll
Scoured 181707 posts in 16.9 ms
Borrow-checking without type-checking  🦀Rust Borrowing
scattered-thoughts.net·2d·Lobsters, Hacker News
LemmaScript: A Verification Toolchain for TypeScript via Dafny  ✅Format Verification
midspiral.com·3d·Lobsters, Hacker News
i-am-killvish/fixmyfile: AST-based CLI tool that automatically detects and fixes TypeScript errors using compiler diagnostics and code transformation.  📜Proof Carrying Code
github.com·22h·DEV
A Modern Quality Pipeline and Testing Strategy for Frontend Projects  🔄Reproducible Builds
alexop.dev·23h·r/webdev
Bytes: The TypeScript 7.0 prophecy is fulfilled  🖥️Terminal Renaissance
Javascript updates via kill-the-newsletter.com·2d
Announcing TypeScript 7.0 Beta  🔒Type Safety
devblogs.microsoft.com·4d·Lobsters, Hacker News, Hacker News, r/javascript, r/programming, r/reactjs, r/typescript
Hallucination Inspector: A Fact-Checking Judge for API Migration  ✅Format Verification
arxiv.org·2d
TinyGo can now compile the TypeScript compiler  🌐Protocol Synthesis
golangweekly.com·1d
TypeScript Language Extension for Declarative UI  📺Terminal UI
tsrx.dev·4d·Hacker News
React Navigation 8.0 Alpha with Native Bottom Tabs, Reworked TypeScript Inference and History  📺Terminal UI
infoq.com·2d
Mike Olson: Fixing typescript-ts-mode in Emacs 30.2  🔒Type Safety
mwolson.org·5d
WebStorm  🎬WebCodecs
flathub.org·1d
MAD Bugs: RCE in Ladybird  🧪Binary Fuzzing
malware.news·1d
TypeScript → Native  📜Proof Carrying Code
perryts.com·6d·Hacker News, Hacker News
5 Markdown Files That Tame Non-Deterministic AI in Your Engineering Org  ⚡Proof Automation
newsletter.karuparti.com·1d·DEV
Java Meets Typescript: Full-Stack Web App Development With Spring Boot and React by Marcus Hellberg @ Spring I/O 2024  🔤Type Theory
bjoernkw.com·6d
AI is fantastic at configuring Emacs.  🔩Systems Programming
honeypot.net·2d
CodebuffAI/codebuff freebuff-v0.0.47  🧪CBOR Fuzzing
github.com
·23h
The Functional Migration Problem  🌍Cultural Algorithms
cafebedouin.org·2d
Making illegal state unrepresentable  🧪Binary Fuzzing
blog.frankel.ch·6d·Hacker News, r/coding, r/programming

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