⚙ compilers - abnv · Scour

Tip of the Week #182: Initialize Your Ints!

abseil.io·2d

🌱Minimal Languages

speniti/neovim-lua-plugin: A comprehensive reference skill for developing Lua plugins for Neovim following official best practices.

github.com·4d·

Discuss: r/neovim

grandmasponge/crate_analyzer: A quick way to search through your dependencies

github.com·4d·

Discuss: r/programming, r/rust

🔒Rust Borrowing

Feedback on checked exceptions and lambdas

dev.to·4d·

Discuss: DEV

🛡️Error Handling

Compiling Quantum Regular Language States

arxiv.org·5d

🎯Finite Automata

LSP: IDE-Level Code Intelligence for Claude

dev.to·6d·

Discuss: DEV

🩺Compiler Diagnostics

SPELL: Synthesis of Programmatic Edits using LLMs

arxiv.org·6d

🔄Incremental Lexing

six thoughts on generating c

wingolog.org·15h·

Discuss: Lobsters, Hacker News

🪄C Metaprogramming

Tip of the Week #232: When to Use <code>auto</code> for Variable Declarations

abseil.io·2d

🗂️Type Indexing

Why you should consider F#

asfaload.com·3d·

Discuss: Hacker News

A Journey into Understanding the IDE Bus

crowdsupply.com·5d·

Discuss: Hacker News

🤖Embedded Go

**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

'Threat to PM': BJP women MPs write to Birla urging action

rediff.com·24m

🏷️Memory Tagging

Retiree who left urine-spiked drinks in Hong Kong supermarkets spared prison

scmp.com

·24m

🛡️Stack Safety

US immigration court blocks deportation of Tufts graduate student from Turkey, her attorneys say

the-independent.com·19m

🔶Lattice Theory

UK tells parents to quiz their children about toxic online content

indianexpress.com·20m

💬Error Messages

Explained: Who Were The Razakars, How They Brutalised East Pakistan

ndtv.com·30m

📡Binary Protocols

IVV’s Uninterrupted Dividend Streak Since 2000 Masks The True Income Profile

finance.yahoo.com·21m

🌱Forth Kernels

Not your usual Hello Kitty: Exclusive Black Series collection lands in Singapore tomorrow

channelnewsasia.com·32m

🏷️Symbol Mangling

Outcry after 25-year-old motorbike driver dies falling into deep unmarked pit in Delhi

independent.co.uk·20m

🗑️Dead Code

Loading more...