⚙️ PL Implementation - tiferrei · Scour

odipar/spread: SPREAD

🔤Language Design Code

github.com··Hacker News

HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents

🔤Language Design Academic

Leveraging Soft Distributions of SSL-Derived Discrete Speech Tokens for Downstream Inference

⚙️Compiler Design Academic

mingusb/transformer-golf: The Fully Unrolled Transformer: An experimental repository for architecture simplification and compilation. [2026]

⚙️Compiler Design Code

github.com··Hacker News

Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers

🧪Property-Based Testing Academic

Rcarmo/womprat: A single-binary Windows client to access machines on a tailnet

🍎Apple Code

github.com··Hacker News

uiCA: Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures

⚙️Compiler Design Academic

arxiv.org··Hacker News

ExMesh: EXplicit Mesh Reconstruction with Topology Adaptation

⚙️Compiler Design Academic

A Normative Intermediate Representation for ASP-Based Compliance Reasoning

🔨Compilers Academic

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

🧠Automated Reasoning Code

github.com··Hacker News

Beyond Skeletons: Learning Animation Directly from Driving Videos with Same2X Training Strategy

🔨Compilers Academic

BareWave: Waveform-Native Flow-Matching Text-to-Speech

⚙️Compiler Design Academic

Blanket: A library for writing deterministic tests of multithreaded Python code

🔀OCaml Multicore Code

github.com··Hacker News

Workflow-to-Skill: Skill Creation via Routing-Workflow-Semantics-Attachments Decomposition

🔨Compilers Academic

Is anyone here interested in contributing to this OS?

💻QEMU Code

github.com··Hacker News

When Behavioral Safety Evaluation Fails: A Representation-Level Perspective

⚙️Compiler Design Academic

geo-tp/ESP32-Bit-Pirate: A Hardware Hacking Tool with Web-Based CLI That Speaks Every Protocol

🔧Microcontrollers Code

github.com··Hacker News

The Sound of Malware: A Memory Forensics Approach for Android Malware Analysis via Audio Signals

🔬Reverse Engineering Academic

From Statute to Control Flow: Span-Grounded Deontic Trees for Defeasible Scope Parsing

⚙️Compiler Design Academic

Formal verification of the S-two AIR

✓Automated Theorem Proving Academic

No more posts from tiferrei's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Sign up or log in to see more results

Log in to enable infinite scrolling