Typechecking is undecideable when 'type' is a type
dspace.mit.edu·4h·
Discuss: Lobsters
λFunctional Programming
Flag this post
Lifting Kotlin Testing: Comparing JUnit, Kotlin-Test, Kotest, Prepared and Test
ivan.canet.dev·1d·
🧪Testing
Flag this post
Chinese Satellite Crushes Starlink with 2-Watt Laser Fired from 36000KM in Space
dailygalaxy.com·34m·
Discuss: Hacker News
🚀Space Technology
Flag this post
Looking for Hidden Gems in Scientific Literature
elicit.com·4d·
Discuss: Hacker News
🗃️Zettelkasten
Flag this post
A Deep Dive into Self-Attention and Multi-Head Attention in Transformers
medium.com·2d·
Discuss: r/LocalLLaMA
🤖Transformers
Flag this post
Shattering the Illusion: Maker Achieves Million-Step, Zero-Error LLM Reasoning
cognizant.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
What font `2600` magazine uses ?
dev.to·4h·
Discuss: DEV
🔤Typography
Flag this post
Google rolls out its AI ‘Flight Deals’ tool globally, adds new travel features in Search
techcrunch.com·2h
🗺️OpenStreetMap
Flag this post
Gitlab.com Upgraded PostgreSQL
about.gitlab.com·6h·
Discuss: Hacker News
🔀Vitess
Flag this post
Zapier vs Make.com: Which Automation Platform Wins in 2025?
dev.to·2d·
Discuss: DEV
🏗️Cranelift
Flag this post
What Do You Think About Servers in Space?
dev.to·1d·
Discuss: DEV
🚀Shuttle
Flag this post
On-the-Fly Image Compression in NestJS vs Laravel Performance Implementation and Comparison
dev.to·2h·
Discuss: DEV
🎬WebCodecs
Flag this post
Feature Selection Techniques with R: Origins, Methods, and Real-Life Applications
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Flag this post
FQ-PETR: Fully Quantized Position Embedding Transformation for Multi-View 3D Object Detection
arxiv.org·4d
👁️Computer Vision
Flag this post
Learn More, Forget Less: A Gradient-Aware Data Selection Approach for LLM
arxiv.org·4d
💬Prompt Engineering
Flag this post
Enhanced Asset Lifecycle Management via Dynamic Component Degradation Modeling
dev.to·11h·
Discuss: DEV
🔍Reverse Engineering
Flag this post
History Rhymes: Macro-Contextual Retrieval for Robust Financial Forecasting
arxiv.org·3d
⏱️Time Series Analysis
Flag this post
URaG: Unified Retrieval and Generation in Multimodal LLMs for Efficient Long Document Understanding
arxiv.org·3d
🔍RAG
Flag this post
7 Best Self-Hosted AI Tools for Building Business Apps
dev.to·3d·
Discuss: DEV
🦙Ollama
Flag this post
Krish Naik: Stop Fighting with Kubernetes! Scale Python to 1000s of Machines with Coiled
dev.to·2d·
Discuss: DEV
☸️Kubernetes
Flag this post