🔄 Continuations - abnv · Scour

Wrapping up my first Kestra flow

dev.to·3d·

Discuss: DEV

Beyond the Chatbox: Engineering Your Prompts with the Trinity Framework

dev.to·3d·

Discuss: DEV

🎮Language Ergonomics

Tip of the Week #116: Keeping References on Arguments

abseil.io·2d

🏷️Symbol Mangling

Tip of the Week #148: Overload Sets

abseil.io·2d

🔗Borrowing Extensions

surge-synthesizer/shortcircuit-xt

github.com·5d

🌱Forth Kernels

boyter/scc: Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

github.com·6d

⏱️Real-Time GC

Exploring the Role of Tracing in AI-Supported Planning for Algorithmic Reasoning

arxiv.org·6d

🎭Program Synthesis

The Stretto Execution Engine for LLM-Augmented Data Systems

arxiv.org·5d

I don't get it. I think just as hard, I type less. I specify precisely and I rev...

news.ycombinator.com·6d·

Discuss: Hacker News

🎭Delimited Continuations

Logic for Programmers [Leanpub PDF/iPad/Kindle]

leanpub.com·6d

🧩Constraint Logic

Finally got around to automating my workflow for the business side of my speaking engagements. This includes generating contracts, invoices, and updating the sp...

bsky.app·1d·

Discuss: Bluesky

⚡Incremental Parsing

Failing to Learn Zig via Advent of Code

forrestthewoods.com·2d

Why you should consider F#

asfaload.com·4d·

Discuss: Hacker News

**Abstract:** This research proposes a novel methodology for accelerating theorem proving within the Lean 4 proof assistant by directly optimizing the formal...

freederia.com·5d

🧮Theorem Provers

Generating code was never the goal. The goal was to solve problems. I tried my best to avoid writing code by leveraging existing solutions or reframing the prob...

bsky.app·6d·

Discuss: Bluesky

🎭Program Synthesis

India match boycott only to get Bangladesh respect: Pakistan

rediff.com·39m

🔍Fuzzy Matching

Varsity Spirit Celebrates Inaugural National School Spirit Championships Winners

prnewswire.com·22m

🔍Fuzzy Matching

Three reasons why the Mandelson disclosure exercise will be a shock for the government

davidallengreen.com·17m

🔬Hindley-Milner

Bountiful Financial Launches FaithEnhanced™ Factor Indices Based on the S&P 500

finance.yahoo.com·20m

🌸Bloom Indexing

Danish startup aims to remove ‘forever chemicals’ from the body

longevity.technology·21m

✨Effect Inference

Loading more...