PoDoFo 1.0 released
pdfa.org·1d
📄PDF Internals
Photoshop Gets New AI Editing Tools
macrumors.com·6h
🗜️LZW Variants
The Covert Operator's Playbook: Infiltration of Global Telecom Networks
unit42.paloaltonetworks.com·8h
🌐DNS Security
haskell/vector
github.com·2d
🧬Functional Programming
Show HN: Resume as Code
alexcwatt.com·3d·
Discuss: Hacker News
🦋Format Metamorphosis
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Theorem
Prompts Are Design Documents
mechanicalsurvival.com·14h·
Discuss: Hacker News
⚙️TLA+
AI Agents Need Help. Here’s 4 Ways To Ship Software Reliably
thenewstack.io·12h·
Discuss: Hacker News
⚙️TLA+
🎨 Built a HEX to RGB Color Converter That Actually Helps Designers Think in Code
dev.to·1d·
Discuss: DEV
🔠Terminal Fonts
Rural School Bus Routing and Scheduling
arxiv.org·1d
🕸️Graph Algorithms
Unlearning of Knowledge Graph Embedding via Preference Optimization
arxiv.org·1d
🕸️Graph Embeddings
EMBRACE: Shaping Inclusive Opinion Representation by Aligning Implicit Conversations with Social Norms
arxiv.org·1d
📝ABNF Extensions
ArtSeek: Deep artwork understanding via multimodal in-context reasoning and late interaction retrieval
arxiv.org·1h
🎭Cultural Informatics
From Keyword to Tech Article Outline: This AI Prompt Kills Writer's Block
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Touch Designer Wireless Controller With XIAO ESP32
hackster.io·2d
🎮Switch Archaeology
T-MPEDNet: Unveiling the Synergy of Transformer-aware Multiscale Progressive Encoder-Decoder Network with Feature Recalibration for Tumor and Liver Segmentation
arxiv.org·1d
📐Vector Dimensionality
Multilingual JobBERT for Cross-Lingual Job Title Matching
arxiv.org·1h
🤖AI Translation
The Subtle Art of Herding Cats: Why AI Agents Ignore Your Rules (Part 1 of 4)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
The Polymath Tool for All Your Audio and Document Needs
dev.to·3d·
Discuss: DEV
🎙️Whisper
Personalized Treatment Effect Estimation from Unstructured Data
arxiv.org·1d
👤Search Personalization