kashencko.ol's Top FindsLoading...
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·16h·
Discuss: Hacker News
🔐Криптография
Flag this post
Sunday open line
arktimes.com·13h
Flag this post
original ↗
gurudas.dev·2d
🔐Криптография
Flag this post
Imperative to Relational
madhadron.com·22h·
Discuss: Lobsters, Hacker News
🔐Криптография
Flag this post
Instrumenting Vapor 4 with Swift OTel
blog.vapor.codes·31m·
Discuss: Hacker News
Flag this post
Rust-SFSM 1.0.0
reddit.com·1d·
Discuss: r/rust
Flag this post
Linux Privilege Escalation reference for all things
github.com·8h·
Discuss: Hacker News
Flag this post
「ALLDAY PROJECT」、17日にデジタルシングル「ONE MORE TIME」を先行公開
news.jp·6h
Flag this post
How Point Cloud to BIM Helps Surveyors Reduce Costs and Save Time
scantobim.online·1h·
Discuss: DEV
🔐Криптография
Flag this post
SWAP: Towards Copyright Auditing of Soft Prompts via Sequential Watermarking
arxiv.org·6h
🔐Криптография
Flag this post
Three Kinds Of Ontological Foundations
lesswrong.com·10h
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·19h
Flag this post
From Arrays to Insights: Statistics with NumPy and SciPy
dev.to·16h·
Discuss: DEV
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·15h·
Discuss: Hacker News
🔐Криптография
Flag this post
(60+ developers from K~T) Master list of the best MADs showcasing developers and their visual novels available in English PART2/3
reddit.com·2h·
Discuss: r/visualnovels
Flag this post
What's the deal with Euler's identity?
substackcdn.com·1d·
Discuss: Substack
🔐Криптография
Flag this post
The Secret Life of Python: The Iterator Protocol - Why For Loops Are Magic
dev.to·6h·
Discuss: DEV
Flag this post
kserve/kserve
github.com·9h
Flag this post
EncouRAGe: Evaluating RAG Local, Fast, and Reliable
arxiv.org·6h
🔐Криптография
Flag this post
Navigating the Future: Technical Deep Dive into Modern Automotive Map Data Pipelines
dev.to·1d·
Discuss: DEV
Flag this post