the_floundering_lotus's Feed

Feeds to Scour
SubscribedAll
Scoured 6767 posts in 17.5 ms

Unified Contradiction‑Resolution Framework for Physics and Mathematics

 Math
zenodo.org··Hacker News

What Should You Read Next? Here Are the Best Reviewed Books of the Week

 📖Books
lithub.com·

Blossary - a blog glossary

 🕸️IndieWeb
robertbirming.com·

The Math Behind O(log n): Binary Search, log , and Why Halving Wins

 🧮Algorithms  Content type: Discussion  Content type: Tutorial
calculators.im··DEV

Proof System Timelines

 Math  Content type: Blog
klatz.co·

Authenticated Data Structures for Dynamic Workloads

 🗂️Data Structures
eprint.iacr.org·

Central Limit Theorem (CLT) Explained Simply with Python and Visual Examples | Part 10

 Math  Content type: Blog
medium.com
·

Palindrome Linked List

 🧮Algorithms
leetcode.com
··DEV

Formally proving a calculation with Claude and Lean

 Math  Content type: Blog
johndcook.com··Hacker News

Shonen Jump's hottest new anime reveals trailer for its main character

 ⛩️Anime  Content type: News
polygon.com·

Boise State students can now earn a 'digital detox certificate' to take back control from their phones

 🌿Digital Minimalism
thecooldown.com·

[Reply] Static Site Webmentions

 🕸️IndieWeb

Winding Up the Week #472

 📖Books
bookjotter.com·

Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications

 🧮Algorithms  Content type: News  Content type: Blog

Show HN: The A-C Coupling Theorem – Solving Diophantine Systems in O(1)

 Math
zenodo.org··Hacker News

Raspberry Pi USB-C Gadget mode @Raspberry_Pi

 🍓Raspberry Pi  Content type: Blog
blog.adafruit.com·

DragonForce Strikes Cheoy Lee Shipyards in Ransomware Attack

 🔐Cybersecurity
malware.news·
Sign up or login to customize your feed and get personalized topic recommendations

Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection

 🧩Constraint Solving  Content type: Academic
arxiv.org·

A primer on corollary discharges: neural signals that distinguish ‘Self’ from ‘World’

 Math  Content type: Academic
nature.com·

The Pending Encryption Crisis: Quantum Computing’s Threat to Today’s Data

 🔑Cryptography
circleid.com·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help