HackerTrans
TopNewTrendsCommentsPastAskShowJobs

tesserato

no profile record

Submissions

Lean 4: How the theorem prover works and why it's the new competitive edge in AI

venturebeat.com
145 points·by tesserato·قبل 5 أشهر·64 comments

Virtual Width Networks (VWN)

arxiv.org
9 points·by tesserato·قبل 5 أشهر·0 comments

Maximum Agreement Linear Predictor (MALP)

arxiv.org
1 points·by tesserato·قبل 5 أشهر·1 comments

Hear the "Amati King Cello", the Oldest Known Cello in Existence

openculture.com
85 points·by tesserato·قبل 5 أشهر·42 comments

Aligning brains into a shared space improves their alignment with LLMs

nature.com
5 points·by tesserato·قبل 5 أشهر·1 comments

Continuous Tensors

dl.acm.org
3 points·by tesserato·قبل 5 أشهر·1 comments

Show HN: Minimal type-safe language for software architecture

github.com
2 points·by tesserato·قبل 6 أشهر·0 comments

Constructor Theory: expressing laws in terms of what is possible or impossible

constructortheory.org
3 points·by tesserato·قبل 7 أشهر·0 comments

MIDI Intro for Makers

makezine.com
2 points·by tesserato·قبل 7 أشهر·0 comments

Where to Read Leonardo da Vinci's Notebooks Online

openculture.com
2 points·by tesserato·قبل 7 أشهر·0 comments

Hear Bach's Pieces Played on Original Baroque Instruments

openculture.com
6 points·by tesserato·قبل 7 أشهر·0 comments

Learn Haskell by building a blog generator

learn-haskell.blog
5 points·by tesserato·قبل 7 أشهر·0 comments

Business cycle and herding behavior in stock returns: theory and evidence

link.springer.com
2 points·by tesserato·قبل 7 أشهر·0 comments

Shallow learning mechanism used by the brain can compete with deep learning

techxplore.com
2 points·by tesserato·قبل 7 أشهر·0 comments

Training Ising Machines with Equilibrium Propagation

nature.com
3 points·by tesserato·قبل 7 أشهر·0 comments

Guidance: A cheat code for diffusion models

sander.ai
8 points·by tesserato·قبل 7 أشهر·0 comments

Transformers Are Multi-State RNNs

huggingface.co
3 points·by tesserato·قبل 7 أشهر·0 comments

Two thousand years of garden urbanism in the Upper Amazon

science.org
3 points·by tesserato·قبل 7 أشهر·0 comments

If AI Is Our Future, What Can We Learn from the Past?

forbes.com
2 points·by tesserato·قبل 7 أشهر·0 comments

An AI Brain with Only One Neuron Could Surpass Humans

thenextweb.com
2 points·by tesserato·قبل 7 أشهر·2 comments

comments

tesserato
·قبل 5 أشهر·discuss
[flagged]
tesserato
·قبل 5 أشهر·discuss
[flagged]
tesserato
·قبل 5 أشهر·discuss
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.
tesserato
·قبل 5 أشهر·discuss
[flagged]
tesserato
·قبل 5 أشهر·discuss
Mapping neural activity from multiple individuals into a "shared response space" improves the accuracy of LLM-based brain encoding by 37%.
tesserato
·قبل 5 أشهر·discuss
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.
tesserato
·قبل 10 أشهر·discuss
CloudMapper is a command-line utility designed to help you understand and Analyse your cloud storage. It uses rclone to interface with various cloud storage providers, gathers information about your files and their structure, and then generates several insightful reports, including:

A detailed text tree view of your files and folders (for Single/Remotes modes) or a mirrored local directory structure with placeholders for the actual files (for Folders mode). A report on duplicate files (based on hashes). A summary of file extensions and their storage consumption. A size usage report per remote and overall. A report listing the N largest files found across all remotes. An interactive HTML treemap visualization of your storage. Simple installation (cargo install cloudmapper)