Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
Forem
Close
#
research
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
An OpenAI Model Just Cracked an 80-Year-Old Math Problem
Peremptory
Peremptory
Peremptory
Follow
May 25
An OpenAI Model Just Cracked an 80-Year-Old Math Problem
#
mathematics
#
reasoning
#
openai
#
research
Comments
Add Comment
3 min read
Measuring Citation Entropy: A New Metric for Multi-Agent Codebase Health
Elia “Airtis” Shmuelovitch
Elia “Airtis” Shmuelovitch
Elia “Airtis” Shmuelovitch
Follow
May 23
Measuring Citation Entropy: A New Metric for Multi-Agent Codebase Health
#
research
#
ai
#
softwareengineering
#
metrics
Comments
Add Comment
2 min read
Partner: An AI That Does Research While You Sleep
ty z
ty z
ty z
Follow
May 23
Partner: An AI That Does Research While You Sleep
#
ai
#
research
#
opensource
#
python
2
 reactions
Comments
1
 comment
2 min read
Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 21
Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics
#
math
#
lean
#
ai
#
research
Comments
Add Comment
13 min read
The Sacred Blueprint: A Step-by-Step Ritual Guide for Modern Spiritual Seekers
Mythical Archive
Mythical Archive
Mythical Archive
Follow
May 17
The Sacred Blueprint: A Step-by-Step Ritual Guide for Modern Spiritual Seekers
#
history
#
writing
#
culture
#
research
Comments
Add Comment
5 min read
We built a semantic search engine for EU research funding — CORDIS matchmaking, ORCID auth, privacy-first
mawlaia
mawlaia
mawlaia
Follow
May 16
We built a semantic search engine for EU research funding — CORDIS matchmaking, ORCID auth, privacy-first
#
python
#
ai
#
research
#
opensource
Comments
Add Comment
2 min read
The Bot Left a Fingerprint: Detecting and Attributing LLM-Generated Passwords
Dwayne McDaniel
Dwayne McDaniel
Dwayne McDaniel
Follow
for
GitGuardian
May 15
The Bot Left a Fingerprint: Detecting and Attributing LLM-Generated Passwords
#
security
#
ai
#
research
#
programming
1
 reaction
Comments
1
 comment
5 min read
We Built Soul Spec for 12 Weeks. Anthropic Just Proved Why It Works.
Tom Lee
Tom Lee
Tom Lee
Follow
May 15
We Built Soul Spec for 12 Weeks. Anthropic Just Proved Why It Works.
#
ai
#
anthropic
#
alignment
#
research
Comments
Add Comment
5 min read
La planta canaria que podrĂa convertir la carne en un alimento rico en omega-3
Mercedes Gonzalez Morales
Mercedes Gonzalez Morales
Mercedes Gonzalez Morales
Follow
for
Evolve
May 15
La planta canaria que podrĂa convertir la carne en un alimento rico en omega-3
#
datascience
#
powerfuldevs
#
biology
#
research
Comments
Add Comment
3 min read
AI Coding Tools and Productivity: What the Controlled Evidence Shows
Vibehackers
Vibehackers
Vibehackers
Follow
May 13
AI Coding Tools and Productivity: What the Controlled Evidence Shows
#
ai
#
productivity
#
softwareengineering
#
research
Comments
Add Comment
12 min read
Paper 152 v0.3 — Sigma-Cascade Collatz: 10^9 Scan + G_3 Subgraph Framework + Erratum E3 + Lemma 5d.1 Lean 4 Mechanized
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 14
Paper 152 v0.3 — Sigma-Cascade Collatz: 10^9 Scan + G_3 Subgraph Framework + Erratum E3 + Lemma 5d.1 Lean 4 Mechanized
#
math
#
research
#
collatz
#
ai
Comments
Add Comment
26 min read
Paper 152 v0.2 — Sigma-Cascade Observation of Collatz Orbit Confluence: Lean 4 Mechanized Closures + 3-Adic Isolation Theorem + Honest Correction E2
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 13
Paper 152 v0.2 — Sigma-Cascade Observation of Collatz Orbit Confluence: Lean 4 Mechanized Closures + 3-Adic Isolation Theorem + Honest Correction E2
#
math
#
research
#
collatz
#
ai
Comments
Add Comment
19 min read
Paper 152 v0.1 — Sigma-Cascade Observation of Collatz Orbit Confluence: Empirical Peak-Merge Enumeration and the n=96k Hypothesis
Nobuki Fujimoto
Nobuki Fujimoto
Nobuki Fujimoto
Follow
May 12
Paper 152 v0.1 — Sigma-Cascade Observation of Collatz Orbit Confluence: Empirical Peak-Merge Enumeration and the n=96k Hypothesis
#
math
#
research
#
collatz
#
ai
Comments
Add Comment
12 min read
Auditing 1,000 French SMB sites: the top technical tier captures 4.2x the sector median in organic traffic
J-Christophe C.
J-Christophe C.
J-Christophe C.
Follow
May 12
Auditing 1,000 French SMB sites: the top technical tier captures 4.2x the sector median in organic traffic
#
seo
#
research
#
webperf
#
webdev
Comments
Add Comment
3 min read
How to process research papers into Obsidian notes automatically
Qonspekt
Qonspekt
Qonspekt
Follow
May 12
How to process research papers into Obsidian notes automatically
#
obsidian
#
research
#
pkm
#
ai
Comments
Add Comment
2 min read
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
We're a blogging-forward open source social network where we learn from one another
Log in
Create account
