KnorrFG's Feed

Feeds to Scour
SubscribedAll
Scoured 952 posts in 16.5 ms
Coding agents like Claude Code, Cursor, and Codex have taken the software engineering field by storm. What makes them tick? Read more ›
Discussed on Substack
Feeds
Previous Week Up Next Week Read more ›
Feeds
Haskell for FPGA Hardware Design: Use abstractions like monads and lenses to implement 1970's retro-computing devices like arcade machines and home computers. Read more ›
Discussed on Hacker News
Feeds
🦀RustGitHub·
Letheo - Cognitive Runtime: agent memory engine (Rust + Python) - Abick91/letheo Read more ›
Discussed on Hacker News
Feeds
Edge devices now behave like cloud systems, and software has outgrown cross-compilation. Why a growing class of small teams needs a build system shaped for that job. Read more ›
Discussed on Hacker News and Lobsters
Feeds
This is a preview of a book to be published by Cambridge University Press. It is distributed under the terms of the CC BY-NC-SA 4.0 license. Read more ›
Discussed on Hacker News and Lobsters
Feeds
Many forms of static reasoning about program behaviours are known in the literature, yet formal relationships are studied surprisingly infrequently. While most type systems are well-known to be captured by abstract interpretations, the situation for type-and-effect systems is, in the general case, unsettled despite strong hypotheses and occasional framing of effect systems as abstract interpretations. We develop a formal relationship between abs... Read more ›
Feeds
The official home of the Python Programming Language Read more ›
Discussed on Hacker News
Feeds
Resonate is a durable execution engine. Read more ›
Feeds
🔧Toolingmedium.com
·
Docker’s history, architecture, security, build system, AI features, and the tools that matter in 2026. Read more ›
Feeds
A series of blog posts for explaining Haskell to Elm developers interested in learning the language that powers the compiler for their favourite language! Read more ›
Discussed on Hacker News
Feeds
We have the pleasure of celebrating the birthday of Blaise Pascal by announcing the release of OCaml version 5.5.0. Some of the highlights in OCaml 5.5.0 are: Module-dependent Functions Modules can now be used as function arguments in a form of lightweight functors. For instance, we can define a function for printing a map generated by the Map.Make functor: let pp_map (module M: Map.S) pp_key pp_v ppf set = if M.is_empty set then Format.fprintf ppf "ø" else let pp_sep ppf () = Fo... Read more ›
Discussed on Hacker News, Hacker News, and Lobsters
Feeds
Sign up or login to customize your feed and get personalized topic recommendations
DOVER, DELAWARE, USA - June 17, 2026 — The Rust Foundation, the nonprofit steward of the Rust programming language, today announced that OpenAI, a leading AI research and deployment company, has joined the organization as a Platinum Member and will contribute a total of $600,000 through the Rust Foundation, including… Read more ›
Feeds
Programming book reviews, programming tutorials,programming news, C#, Ruby, Python,C, C++, PHP, Visual Basic, Computer book reviews, computer history, programming history, joomla, theory, spreadsheets and more. Read more ›
Feeds
📐Type TheorynLab·
personal page Read more ›
Feeds
Some literate programming on a small crate I've written Read more ›
Feeds
🔧Toolingmedium.com
·
By TF Business Solutions | Helping Startups Build Systems That Last Read more ›
Feeds
Welcome to F# Weekly, A roundup of F# content from this past week: Microsoft News Videos Blogs Highlighted projects New Releases That’s all for now. Have a great week. If you want to help keep F# Weekly going, click here to jazz me with Coffee! Read more ›
Feeds
refactor\(agents\): narrow shell snapshot options type Read more ›
Feeds
King Computer Services, Inc. has been in the software development business for 17 years, providing custom software and consulting services to businesses in a wide variety of industries. Read more ›
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
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
Discover
gb
Search
/

General

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

Press ? anytime to show this help