Search: mathstodon.xyz | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Some 20-sided dice from Ptolemaic Egypt (ca.140BC)

5 months ago

2 points

92.

Terence Tao on non-monotonicity in research

9 months ago

2 points

93.

Terence Tao: Applying Red Team / Blue Team Duality to AI Workflows

a year ago

2 points

94.

Custom Software Becomes Commodity

a year ago

2 points

95.

Folklore Maths Tricks from Terence Tao

a year ago

2 points

96.

Chandler Davis: Funded in Part by the Federal Prison System ...

2 years ago

2 points

97.

One way to pack equal-sized balls in 4D so that each touches 24 others

2 years ago

2 points

98.

Testing ways of using citizen math, proof assistants, automation tools, and AI

2 years ago

2 points

99.

They've made a new antimatter hypernucleus

2 years ago

2 points

100.

Systemd-Tmpfiles, Deleting /Home

2 years ago

2 points

101.

Dissecting a mitre: Solving a problem from 1901

2 years ago

2 points

102.

My hobby: making LLMs embarrass themselves

2 years ago

2 points

103.

Hardcore Math Tweet

2 years ago

2 points

104.

Muonic hydrogen is 207 times smaller than hydrogen

2 years ago

2 points

105.

On Jigsaw Puzzles

3 years ago

2 points

106.

5-year research grant awarded to formalise Fermat's Last Theorem proof in Lean

3 years ago

2 points

107.

Weakly Chiral Aperiodic Monotile

3 years ago

2 points

108.

Muon colliders may be the next big thing in high-energy particle physics

3 years ago

2 points

109.

A puzzle about rigs (semirings) I don't know the answer to

4 years ago

2 points

110.

Wilson's 1-Dimensional Gun

4 years ago

2 points

111.

Dark patterns: It's not a real checkbox, but an SVG lookalike

a year ago

1 points

112.

Thread about things I've learned in my progress building a computer so far

3 years ago

1 points

113.

The ISS transiting the 4% illuminated moon during the daytime

5 years ago

1 points

114.

A non-technical but capable friend has asked me about installing Linux

5 months ago

1 points

115.

The application of AI tools to Erdos problems passes a milestone

6 months ago

1 points

116.

The third AI Math Olympiad Progress Prize has now launched

7 months ago

1 points

117.

Wigner's Friend Thought Experiment

8 months ago

1 points

118.

Examples of how to incorporate images into QR codes so they are still scannable

10 months ago

1 points

119.

AI attempts at the International Mathematical Olympiad 2025

a year ago

1 points

120.

Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean

a year ago

1 points