Writing your own Go linter (dhcp25)
cdn.media.ccc.de·20h
⚙️PL Implementation
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
🛡️macOS Security
Flag this post
Reflection for Aggregates (2020)
🔢Algebraic Data Types
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·2h
🛡️seL4
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·1d
🧩Parser Combinators
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·2h
📦Module Systems
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·2h
🐫OCaml
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·15h
📚Automata Learning
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·2h
⚙️Compiler Design
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
🤖Program Synthesis
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·2h
🎮Verification Games
Flag this post
Loading...Loading more...