Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·12h·
Discuss: Hacker News
✅Format Verification
Generating C functions and prototypes using macros – part 2
subethasoftware.com·1h
🦀Rust Macros
JNI Obfuscation, Reverse Engineering, and Android Security
hackernoon.com·15h
🎮Game Decompilation
Next-gen voice, video, and chat messaging using your domain name not your number
thunderbolt.com·1d·
Discuss: Hacker News
🔌Operating system internals
FlexMUSE: Multimodal Unification and Semantics Enhancement Framework with Flexible interaction for Creative Writing
arxiv.org·23h
🏛Digital humanities
FLINT: Fast Library for Number Theory
flintlib.org·8h
🧮Algebraic Datatypes
Try My ~3.5 Million Parameters Model Instead for ✨😉
dev.to·19h·
Discuss: DEV
📝Text Parsing
Quality Precision
lesswrong.com·9h·
Discuss: Hacker News
✅FLAC Verification
Show HN: BypassGPT – A tool to humanize AI text to pass AI detectors
bypassgpt.app·17h·
Discuss: Hacker News
🤖Paleography Automation
Shelling Out Is Selling Out
petersobot.com·1h·
Discuss: Hacker News
🎞️MKV Forensics
Show HN: Compress-san, simple batch video compression and SRT subtitle creation
apps.apple.com·11h·
Discuss: Hacker News
🧠Learned Compression
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.io·5d·
Discuss: Hacker News
✅Format Verification
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.org·23h
🧠Machine Learning
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·16h
🤖Grammar Induction
[P] aligning non-linear features with your data distribution
reddit.com·16h·
Discuss: r/MachineLearning
🧠Machine Learning
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·12h·
Discuss: Hacker News
🌳Archive Merkle Trees
The end of an era: Properly formated IP addresses in all of our data., (Sun, Aug 24th)
isc.sans.edu·1d
📡BGP Archaeology
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·15h
🌊Stream Processing
Statistical Comparative Analysis of Semantic Similarities and Model Transferability Across Datasets for Short Answer Grading
arxiv.org·23h
🤖Grammar Induction
The Lobster Programming Language
strlen.com·7h·
Discuss: Hacker News
🔗Concatenative Programming