Search: mathstodon.xyz | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

What are Majorana zero modes?

a year ago

79 points

32.

Terence Tao: creative strategies, this aspect of LLM tools is still weak

2 years ago

77 points

33.

John Baez' Applied Category Theory Lectures

3 years ago

65 points

34.

Running "systemd-tmpfiles --purge" will delete /home in systemd 256

2 years ago

60 points

35.

Terence Tao: Game theory, politics and control of information

a year ago

59 points

36.

I Saw Democracy Die in Russia

a year ago

51 points

37.

Discussing the Neptunian desert, savanna, and ridge

2 years ago

31 points

38.

Claude 3.7 in Cursor is eager – sometimes a bit too eager

a year ago

19 points

39.

What's Causing the Great Stagnation?

a year ago

15 points

40.

Google translations from a language that doesn't specify gender

5 years ago

13 points

41.

Terence Tao: Solving problems by abstracting away highly relevant information

2 years ago

11 points

42.

A working QR code in the style of Piet Mondrian

9 months ago

11 points

43.

Terence Tao on the Ongoing Process of "Enshittification"

a year ago

9 points

44.

Terence Tao: My recollections on the early history of compressed sensing

a month ago

8 points

45.

Terence Tao:"An extended AI chat helped me answer a MathOverflow question"

9 months ago

7 points

46.

Terence Tao: A little bit of math can go a long way

2 years ago

7 points

47.

The ArXiv is separating from Cornell University, and is hiring a CEO for 300k/yr

3 months ago

6 points

48.

Everyone on LinkedIn: Make sure to turn this off

9 months ago

6 points

49.

Terence Tao had a paper rejected

3 months ago

6 points

50.

Intelligence is too high-dimensional for any low-dimensional narrative

7 months ago

6 points

51.

Bluesky trusts the client app to fetch, and honestly report, webpage metadata

a year ago

6 points

52.

Terence Tao: A short text about when to consider using an AI for a task

a year ago

6 points

53.

Terrance Tao on AI vs. traditional software

3 years ago

5 points

54.

Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

8 months ago

5 points

55.

Terence Tao on the importance of funding basic mathematical research

a year ago

5 points

56.

The ArXiv is separating from Cornell University, and is hiring a CEO

3 months ago

5 points

57.

We can only reach a finite number of galaxies

3 years ago

4 points

58.

AI's impact on mathematics is analogous to the car's impact on cities

3 months ago

4 points

59.

Erdos Problem #728 Solved (Mostly) Autonomously by AI

5 months ago

4 points

60.

AI tools are becoming capable enough to pick off open Erdos problem

6 months ago

4 points