๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
โ Formal Methods
FStar, libjade, Jasmin, hacl-star
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Bloom's Digital Taxonomy Verbs
pivot.umbc.edu
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Metasurfaces could be the next quantum information processors
phys.org
ยท
18h
ยท
Discuss:
Hacker News
๐
Cryptography
Visualize Your Puppet Data in Grafana with the Observability Data Connector
puppet.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Cryptography
RFC 9773: Acme Renewal Information (ARI) Extension
datatracker.ietf.org
ยท
2d
ยท
Discuss:
Lobsters
,
Hacker News
๐
Cryptography
Optimi-Zi(n)g Sudoku-Solving
log.pfad.fr
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
๐
Zero-Knowledge Proofs
EIFO and the Novo Nordisk Foundation Acquire the Most Powerful Quantum Computer
novonordiskfonden.dk
ยท
10m
ยท
Discuss:
Hacker News
๐
Cryptography
LLMs remain vulnerable to "jailbreaking" through adversarial prompts
link.springer.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Signing Webhooks with FusionAuth
fusionauth.io
ยท
2d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Traccar: an open source GPS tracking system
github.com
ยท
5h
ยท
Discuss:
Hacker News
๐
Cryptography
AI is the Software. You are the Hardware
new.anupshinde.com
ยท
1h
ยท
Discuss:
Hacker News
๐
Cryptography
Choosing the rijght .NET container image for your workload
medium.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
TextIndex: Simple syntax for creating indexes in Markdown and text documents
mattgemmell.scot
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Show HN: A code editor that integrates into the browser
tachicode.dev
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Optimization of Grocery Shop Pricing
github.com
ยท
17h
ยท
Discuss:
DEV
,
Hacker News
๐
Cryptography
I am a SOTA 0-shot classifier of your slop
christopherkrapu.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Confessions of a static timing analysis tool
chipinsights.substack.com
ยท
3d
ยท
Discuss:
Substack
๐
Cryptography
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Everything I've Learned so far About OpenAI's Agents
leonfurze.com
ยท
20h
ยท
Discuss:
Hacker News
๐ฆ
Rust
Ask HN: What's the ideal programming language in the age of LLMs?
news.ycombinator.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฆ
Rust
An intro to security, with eggs, please
binturo.ng
ยท
5h
ยท
Discuss:
Lobsters
,
Hacker News
๐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 5
โข
Page 7 »