Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  vibecoding  show  linux  apple  tiktok  microsoft  health  game  amazon  web  google  psychology  theverge.com  neuroscience  release  nature.com  reuters.com 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection

22 days ago zenodo.org show

Emergent Gravity Is Quantum Entanglement

16 days ago zenodo.org

Autonomous discovery of physical invariants from real data (no target variable, no predefined equations)

26 days ago zenodo.org

Looking for feedback on a working paper extending my RDT / recursive-adic work toward ultrametric state spaces

25 days ago zenodo.org

Anyone wanna give feedback

26 days ago zenodo.org

Resolution Dynamics: Deriving the Fine Structure Constant from Shannon Capacity

55 days ago zenodo.org

Continuation: A systems view on inference when the transformer isn’t in the runtime loop

43 days ago zenodo.org

Post-transformer inference: 224× compression of Llama-70B with improved accuracy

52 days ago zenodo.org compression

Prompt Injection Isn’t a Prompting Problem, It’s an Authority Problem

34 days ago zenodo.org

We reduced transformer inference calls by ~75% without changing model weights (MFEE control-plane approach)

37 days ago zenodo.org

A benchmark for one-shot catastrophe avoidance in RL agents (MiniGrid LavaCrossing)

38 days ago zenodo.org

Huge breakthrough in decoding the elusive Voynich Manuscript as a Generative Instruction Set

53 days ago zenodo.org

A Spectral-Geometric Proof of the Riemann Hypothesis

2 months ago zenodo.org

Show HN: Zero-power photonic language model–code

2 months ago zenodo.org show

Linux disk I/O diagram (2024)

3 months ago zenodo.org linux

Entire Linux Network stack diagram (2024)

3 months ago zenodo.org linux

Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]

3 months ago zenodo.org algorithm pdf

Show HN: Stochastic Gradient in Hilbert Spaces

3 months ago zenodo.org show

Against the Uncritical Adoption of 'AI' Technologies in Academia

3 months ago zenodo.org ai

Imagination as General Intelligence: Reconciling Consciousness and Free Will

4 months ago zenodo.org

I unified convolution and attention into a single framework

4 months ago zenodo.org

Polylogarithm Values at a Golden Ratio-Based Argument

7 months ago zenodo.org

Show HN: CapOS – A responsibility-gated OS stack with signed process execution

9 months ago zenodo.org show

The Lisp in the Cellar: Dependent types that live upstairs [pdf]

8 months ago zenodo.org clojure lisp pdf plt

The Lisp in the Cellar: Dependent types that live upstairs [pdf]

8 months ago zenodo.org clojure lisp pdf plt

I Applied Wavelet Transforms to AI and Found Hidden Structure

11 months ago zenodo.org ai

Bluesky Social Dataset (235M posts from 4M users)

14 months ago zenodo.org

CURLoRA: Stable LLM Fine-Tuning and Catastrophic Forgetting Mitigation

18 months ago zenodo.org llm

Parallel garbage collection for SBCL (2023)

20 months ago zenodo.org

High performance array programming in Petalisp

21 months ago zenodo.org

More →