tesserato

6 ms·

1.
Lean 4: How the theorem prover works and why it's the new competitive edge in AI(venturebeat.com)
145 points by tesserato 7mo ago|64 comments
2.
Virtual Width Networks (VWN)(arxiv.org)
9 points by tesserato 7mo ago|0 comments
3.
Maximum Agreement Linear Predictor (MALP)(arxiv.org)
1 points by tesserato 7mo ago|1 comments
4.
by tesserato 7mo ago
A statistical model that maximizes Lin's concordance correlation coefficient (CCC) instead of minimizing squared errors, offering a predictor with higher direct agreement with the predictand.
5.
Hear the "Amati King Cello", the Oldest Known Cello in Existence(openculture.com)
85 points by tesserato 7mo ago|42 comments
6.
Aligning brains into a shared space improves their alignment with LLMs(nature.com)
5 points by tesserato 7mo ago|1 comments
7.
by tesserato 7mo ago
Mapping neural activity from multiple individuals into a "shared response space" improves the accuracy of LLM-based brain encoding by 37%.
8.
Continuous Tensors(dl.acm.org)
3 points by tesserato 7mo ago|1 comments
9.
by tesserato 7mo ago
A new programming abstraction that allows tensor indices to take real-number values, unifying fields like computational geometry and computer graphics under the language of tensor algebra.
10.
Show HN: Minimal type-safe language for software architecture(github.com)
2 points by tesserato 8mo ago|0 comments
11.
Constructor Theory: expressing laws in terms of what is possible or impossible(constructortheory.org)
3 points by tesserato 9mo ago|0 comments
12.
MIDI Intro for Makers(makezine.com)
2 points by tesserato 9mo ago|0 comments
13.
Where to Read Leonardo da Vinci's Notebooks Online(openculture.com)
2 points by tesserato 9mo ago|0 comments
14.
Hear Bach's Pieces Played on Original Baroque Instruments(openculture.com)
6 points by tesserato 9mo ago|0 comments
15.
Learn Haskell by building a blog generator(learn-haskell.blog)
5 points by tesserato 9mo ago|0 comments
16.
Business cycle and herding behavior in stock returns: theory and evidence(link.springer.com)
2 points by tesserato 9mo ago|0 comments
17.
Shallow learning mechanism used by the brain can compete with deep learning(techxplore.com)
2 points by tesserato 9mo ago|0 comments
18.
Training Ising Machines with Equilibrium Propagation(nature.com)
3 points by tesserato 9mo ago|0 comments
19.
Guidance: A cheat code for diffusion models(sander.ai)
8 points by tesserato 9mo ago|0 comments
20.
Transformers Are Multi-State RNNs(huggingface.co)
3 points by tesserato 9mo ago|0 comments
21.
Two thousand years of garden urbanism in the Upper Amazon(science.org)
3 points by tesserato 9mo ago|0 comments
22.
If AI Is Our Future, What Can We Learn from the Past?(forbes.com)
2 points by tesserato 9mo ago|0 comments
23.
An AI Brain with Only One Neuron Could Surpass Humans(thenextweb.com)
2 points by tesserato 10mo ago|2 comments
24.
Predicting the Past: AI for Ancient Texts(predictingthepast.com)
3 points by tesserato 10mo ago|0 comments
25.
Programmable Diffractive Deep Neural Networks(nature.com)
2 points by tesserato 10mo ago|1 comments
26.
Some AI Systems May Be Impossible to Compute(spectrum.ieee.org)
5 points by tesserato 10mo ago|0 comments
27.
Does Time Flow? New Clues Come from a Century-Old Approach to Math(quantamagazine.org)
4 points by tesserato 10mo ago|3 comments
28.
The Animate and The Inanimate, a cosmological tome written by a child prodigy [pdf](sidis.net)
3 points by tesserato 10mo ago|0 comments
29.
Chasing the Myth: Achieving Artificial General Intelligence May Be a Pipe Dream(forbes.com)
3 points by tesserato 10mo ago|0 comments
30.
Project Gutenberg Compilation of Short Stories by Chekhov(gutenberg.org)
3 points by tesserato 10mo ago|0 comments

More ›