🔗 Lisp - matmat · Scour

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·4d

🧠Separation Logic

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction

arxiv.org·4d

📋Document Grammar

dev.to·3d·

Discuss: DEV

📜Manuscript Workflows

🚀 Day 4 of #100DaysOfDevOps: Python Regular Expressions with Practical Examples

dev.to·5d·

Discuss: DEV

🔍RegEx Engines

akki2825/computational-morphology-lit: A curated collection of papers on computational morphology.

github.com·1d·

Discuss: Hacker News

🔤Morphological Analysis

aweussom/HowToShootYourselfInTheFoot: How to shoot yourself in the foot - using: Operating Systems, Programming Languages etc.

github.com·2d·

Discuss: Hacker News

🦀Rust Macros

Your Dog or Cat Might Be Spreading an Invasive Flatworm

scitechdaily.com·45m

💿WORM Storage

A Foreign Policy Worse Than Regime Change

theatlantic.com

·46m

🔲Cellular Automata

Software Poses 'All-Time' Risk To Speculative Credit, Deutsche Bank Warns

tech.slashdot.org·46m

📏Code Metrics

What is Apple’s Investment Narrative?

asymco.com·46m

🍎Apple Computing

Announcing the Winners of the Wiki Science Competition 2025 for Australia and New Zealand

diff.wikimedia.org·46m

🧠Knowledge Management

Lab morale got you down? Try a handbook

nature.com·31m

🧠Personal Knowledge Base

Emerging artists making rap, Afrobeats and R&B music push Christian genre boundaries

the-independent.com·42m

📼Cassette Culture

Faces of fearlessness: Skeleton helmets at the Milan Cortina Winter Olympics, in photos

the-independent.com·28m

📖Nordic Typography

Huge stalkerware data breach sees 500,000 records leaked by hacktivists

techradar.com

·46m

🦠Malware Analysis

US figure skater Amber Glenn resolves copyright issues with a Canadian music artist at the Olympics

mercurynews.com

·54m

📲Digitization

a free-to-use data modeler/generator for any database

synthforge.io·27m·

Discuss: Hacker News

🔄Schema Evolution

Super Bowl 2026: Why British coach Aden Durde is 'game-changer' for champions Seattle Seahawks

bbc.com·35m

🇸🇪Nordic Algorithms

Will Smith eating spaghetti was peak AI chaos in 2023 — now it shows how fast the tech has evolved

techradar.com

·40m

🗜️LZW Variants

FxCapKyn: A Study of Socially-Engineered Fraud

news.ycombinator.com·51m·

Discuss: Hacker News

Loading more...