Sharp Bilinear Filters: Big Clean Pixels for Pixel Art
bumbershootsoft.wordpress.com·5h
🌈Color Archaeology
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·1d
📐Mathematical Art
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·2d
⚡Proof Automation
Show HN: We used LZMA to encode data into a URL
standardsapplied.com·7h·
Discuss: Hacker News
🌀Differential Geometry
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·3d·
Discuss: Hacker News
🔒Language-based security
When dirt meets data: ScottsMiracle-Gro saved $150M using AI
venturebeat.com·12h·
Discuss: Hacker News
🤖AI Curation
Cold Calculation
kae3g.codeberg.page·7h·
Discuss: Hacker News
⚡Incremental Computation
LoRA Explained: Faster, More Efficient Fine-Tuning with Docker
docker.com·2d
💻Local LLMs
Neuro-Symbolic AI
en.wikipedia.org·1d·
Discuss: Hacker News
🔲Cellular Automata
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
LTCA: Long-range Temporal Context Attention for Referring Video Object Segmentation
arxiv.org·1d
📊Learned Metrics
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Collaborative and Proactive Management of Task-Oriented Conversations
arxiv.org·3d
📏Linear Logic
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·2d
💻Programming languages
Automated Residual Stress Mapping via Multi-Modal Fusion & Deep Learning in GTAW Joints
dev.to·3d·
Discuss: DEV
🤖Advanced OCR
Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.org·3d
📝ABNF Extensions
Revisiting Metric Reliability for Fine-grained Evaluation of Machine Translation and Summarization in Indian Languages
arxiv.org·2d
🧠Intelligence Compression
Transformer-Based Indirect Structural Health Monitoring of Rail Infrastructure with Attention-Driven Detection and Localization of Transient Defects
arxiv.org·1d
🧠Machine Learning
MARC: Memory-Augmented RL Token Compression for Efficient Video Understanding
arxiv.org·1d
🧠Learned Codecs
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·1d
🧮Prolog Parsing