๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš™๏ธ Operational Semantics

Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods

Poland says 32 people detained and suspected of coordinating with Russia for sabotage
the-independent.comยท4h
๐Ÿ”ŽOSINT Techniques
Welcoming New Faces to the Thunderbird Community Team
blog.thunderbird.netยท3h
๐Ÿ”„Language Evolution
New automated platform accelerates discovery of high-performing polymer material blends
phys.orgยท1d
๐Ÿ“„Document Digitization
Sealed Chain of Deception: Actors leveraging Node.JS to Launch JSCeal
research.checkpoint.comยท3h
๐ŸŽซKerberos Exploitation
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.comยท4dยท
Discuss: Hacker News
๐Ÿ”Homomorphic Encryption
Analysing FIT data with Perl: interactive data analysis
peateasea.deยท1dยท
Discuss: Hacker News
๐Ÿ“ฐSGML
What Makes NixOS Different (and Why It's Better)
dashdot.meยท2dยท
Discuss: Hacker News
โ„๏ธNix Adoption
The current state of Gusto's modularity tooling (2024)
engineering.gusto.comยท3dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
StackGen's Autonomous Infrastructure Platform
stackgen.comยท37mยท
Discuss: Hacker News
๐Ÿ Homelab Orchestration
Are prompts the new unit of work?
archgw.comยท2dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Claude Code Is a Slot Machine
rgoldfinger.comยท2dยท
Discuss: Hacker News
๐Ÿ“Compiler Design
Making Security Tools Accessible: Why I Chose the Browser
blog.anantshri.infoยท11hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Explainable AI guided unsupervised fault diagnostics for high-voltage circuit breakers
arxiv.orgยท1d
๐Ÿง Machine Learning
IoT and Older Adults: Towards Multimodal EMG and AI-Based Interaction with Smart Home
arxiv.orgยท1d
๐Ÿ Home Automation
The Impact of Simple, Brief, and Adaptive Instructions within Virtual Reality Training: Components of Cognitive Load Theory in an Assembly Task
arxiv.orgยท13h
๐Ÿง Intelligence Compression
Weak-to-Strong Generalization with Failure Trajectories: A Tree-based Approach to Elicit Optimal Policy in Strong Models
arxiv.orgยท1d
๐ŸงฎKolmogorov Bounds
Physics+ MIN/MAX Problem 1: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.comยท2dยท
Discuss: www.blogger.com
๐Ÿ”—Tailscale
ASP-Assisted Symbolic Regression: Uncovering Hidden Physics in Fluid Mechanics
arxiv.orgยท4d
โœจEffect Handlers
Transforming NLP: The Breakthrough of the 41.8 BLEU Score with Transformers
dev.toยท4dยท
Discuss: DEV
๐Ÿ“Text Parsing
Reminiscence Attack on Residuals: Exploiting Approximate Machine Unlearning for Privacy
arxiv.orgยท13h
๐Ÿ’ปLocal LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap