## Automated Verification and Enhancement of Distributed Ledger Technology (DLT) Smart Contract Logic Using Hybrid Symbolic Execution and Machine Learning
freederia.com·2d
📱Kotlin
Flag this post
The Algebraic CheapLunch: Extending FreeLunch Attacks on Arithmetization-Oriented Primitives Beyond CICO-1
eprint.iacr.org·5d
📱Kotlin
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·2d·
Discuss: Hacker News
📱Kotlin
Flag this post
Fleet Route Optimizer CVRPTW (Capacited Vehicle Routing Problem Time Windows)
github.com·21h·
Discuss: Hacker News
📱Kotlin
Flag this post
Joy & Curiosity #61
registerspill.thorstenball.com·12h
📱Kotlin
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·6d·
Discuss: Hacker News
📱Kotlin
Flag this post
Embedding TypeScript
andrews.substack.com·3d·
Discuss: Substack, r/programming
📱Kotlin
Flag this post
Fil-C
graydon2.dreamwidth.org·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/rust
📱Kotlin
Flag this post
Universality Classes for Purification in Nonunitary Quantum Processes
journals.aps.org·1d
📱Kotlin
Flag this post
Automate changelogs, versioning, and publishing with Sampo
goulven-clech.dev·10h·
Discuss: Hacker News
📱Kotlin
Flag this post
From 'Why the F@&k Do I Need This?' to 'Oh, That's Why' - My GAT Journey
dev.to·2d·
Discuss: DEV
📱Kotlin
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·4d
📱Kotlin
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·6d
📱Kotlin
Flag this post
Abusing the Harvard Architecture in Nand2Tetris Assembly
ashdnazg.github.io·1d·
Discuss: Hacker News
📱Kotlin
Flag this post
Day 28: Python Bubble Sort, Implement a Simple Sorting Algorithm with Nested Loops
dev.to·1d·
Discuss: DEV
📱Kotlin
Flag this post
Creating Lisp Systems
renato.athaydes.com·4d·
Discuss: Hacker News
📱Kotlin
Flag this post
Announcing “Computational Functionalism Debate” (soliciting paid feedback): Test your intuitions about consciousness
lesswrong.com·1d
📱Kotlin
Flag this post
Understanding Dependency Injection with TypeScript, NestJS, and Angular
dev.to·12h·
Discuss: DEV
📱Kotlin
Flag this post
Web Developer Travis McCracken on The Tools I Use Every Day as a Web Developer
dev.to·8h·
Discuss: DEV
📱Kotlin
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Cross-Silo Medical AI Systems
dev.to·1d·
Discuss: DEV
🏛Data sovereignty
Flag this post