marvinborner

5 ms·

1.
The Association for Human Mathematics(ahmath.org)
4 points by marvinborner 6d ago|0 comments
2.
Artificial Intelligence Markup Language(en.wikipedia.org)
4 points by marvinborner 7d ago|0 comments
3.
Four Weeks of a Vegan Diet Alter Signs of Inflammation and Aging(uniklinik-freiburg.de)
29 points by marvinborner 10d ago|65 comments
4.
An integrated approach to time and food (1990)(girard.perso.math.cnrs.fr)
2 points by marvinborner 27d ago|0 comments
5.
Maths Puzzle Endurance World Record [video](youtube.com)
2 points by marvinborner 28d ago|0 comments
6.
A Dual View on Syntax(text.marvinborner.de)
3 points by marvinborner 1mo ago|0 comments
7.
Terence Tao Lecture: Mathematics in the Age of AI [video](youtube.com)
6 points by marvinborner 1mo ago|0 comments
8.
F*Ex: Frams' Fast File EXchange(fex.belwue.de)
3 points by marvinborner 1mo ago|0 comments
9.
by marvinborner 2mo ago
To me, the most relevant aspect is the time it takes to open. I can't believe how slow the startup time in common linux distributions is by default, it's so annoying, by the time it opens I already forgot what I wanted to do. Alac
10.
by marvinborner 2mo ago
I initially interpreted this as "Artificial Intelligence _is_ [defined as] writing about as well as humans", which would imply that common LLMs are slowly approaching Artifical Intelligence. Though English is not my native languag
11.
Developing a windowed OS for a homebrew Am29000 computer(nanochess.org)
5 points by marvinborner 2mo ago|0 comments
12.
by marvinborner 2mo ago
The relevant issue for mastodon itself is https://github.com/mastodon/mastodon/issues/12423
13.
State of multi-player Wayland(blinry.org)
171 points by marvinborner 2mo ago|110 comments
14.
Did an AI Really Hack Hugging Face? [video](youtube.com)
3 points by marvinborner 2mo ago|0 comments
15.
Jack Conte: The future of creativity on the internet in a world with AI [video](youtube.com)
3 points by marvinborner 2mo ago|0 comments
16.
Medieval Football(en.wikipedia.org)
4 points by marvinborner 2mo ago|0 comments
17.
by marvinborner 2mo ago
Being "fly" is slang for being cool. It has been officially chosen as German youth word of the year in 2016 [0]. [0]: https://en.wikipedia.org/wiki/Youth_word_of_the_year_(German...
18.
by marvinborner 2mo ago
Of course they get programmed, just not in the ordinary sense. Claude is trained using Anthropic's "constitution" [0] which importantly does not contain clear statements against consciousness/emotions. They even conclu
19.
by marvinborner 2mo ago
I hate that Anthropic seemingly tries to make Claude act as if it was conscious or had feelings > It's a strange feeling to admire the cleverness of something I did and can't remember doing.
20.
Learning games for the proof assistant Lean(adam.math.hhu.de)
1 points by marvinborner 2mo ago|0 comments
21.
Imaginary Bases(thegraycuber.com)
4 points by marvinborner 2mo ago|0 comments
22.
Interaction Nets and Hardware(tendrils.co)
3 points by marvinborner 2mo ago|0 comments
23.
Digital Signals Theory Book(brianmcfee.net)
6 points by marvinborner 2mo ago|0 comments
24.
Effects as Capabilities(nrinaudo.github.io)
1 points by marvinborner 2mo ago|0 comments
25.
Esolang: 2026 Topicality Proposal(esolangs.org)
2 points by marvinborner 2mo ago|0 comments
26.
Various projects disappeared from kernel.org hosting overnight(gts.q66.moe)
10 points by marvinborner 3mo ago|1 comments
27.
Designing Math Ft. Grant Sanderson (3Blue1Brown) [video](youtube.com)
1 points by marvinborner 3mo ago|0 comments
28.
Four by Three Puzzle(hankgreen.com)
4 points by marvinborner 3mo ago|2 comments
29.
Active Group and "Agentic Engineering"(funktionale-programmierung.de)
4 points by marvinborner 3mo ago|1 comments
30.
Four Programming Languages You've Probably Never Heard of [video](youtube.com)
6 points by marvinborner 3mo ago|0 comments

More ›