🔍 Type Inference - abnv · Scour

Optimizing Few-Step Generation with Adaptive Matching Distillation

arxiv.org·4h

🔄Loop Optimization

Pragmatic Curiosity: A Hybrid Learning-Optimization Paradigm via Active Inference

arxiv.org·1d

🪜Recursive Descent

Insecurity of Quantum Secure Computations

paperium.net·13h·

Discuss: DEV

🔗Hash Functions

Nonlinear random walks on hypergraphs characterized by higher-order interactions

sciencedirect.com·2d

🧮Combinator Calculus

Puzzle Games That Sharpen a Developer’s Mental Modeling Skills

spin.atomicobject.com·20h

🎭Program Synthesis

Event-Flo: AI-Powered Event Planning

event-flo.vercel.app·1d·

Discuss: DEV

🧠Semantic Parsing

learning by reverse engineering

clymup.com·2d

🔓Decompilers

SectorC: a C compiler in 512 bytes

blog.adafruit.com·11h

🔄Forth Metacompiler

LLMs Refuse High-Cost Attacks but Stay Vulnerable to Cheap, Real-World Harm

expectedharm.github.io·4h·

Discuss: Hacker News

🛡️Security Type Systems

Hello World: Algorithmic Trading & DeFi Logic

dev.to·1d·

Discuss: DEV

What should I program?

jamesmcm.github.io·2d

🏗️Minimal Compilers

Rob Pike's Simple Regular Expressions

bruceediger.com·2d

🔤Regex Engines

Save 89% on a Aivolut Book Creator (Basic) lifetime subscription

neowin.net·14h

A Software Engineer’s Wish List for CS Research

laser-coder.net·15h·

Discuss: Hacker News

🎨Domain-Specific Languages

Stanford AI Breakthrough: Unlock ChatGPT Creativity

medium.com

·1d

🎭Program Synthesis

Value Receivers vs Pointer Receivers in Go (A Practical Explanation)

dev.to·4h·

Discuss: DEV

🔗Go Generics

The Death of the “Everything Prompt”: Google’s Move Toward Structured AI

towardsdatascience.com·20h

🎮Language Ergonomics

When AI goes haywire: the case of the skyscraper and the slide trombone

theconversation.com·1d

AI-augmented data quality engineering

infoworld.com·23h

🛡️Error Ergonomics

Mathematicians launch First Proof, a first-of-its-kind math exam for AI

scientificamerican.com

·16h

📐Mathematical Computing

Loading more...