Bongjun Jang

formalism for real world systems

[Bongjun Jang @__bonjune]

"The bottleneck shifts from implementation to verification". But not everyone can afford $500 plan.

[MIT CSAIL @MIT_CSAIL]

The late MIT prof. Patrick Winston explains how to speak & get your ideas valued & accepted.

The famous lecture in full: https://t.co/Udu9sQCeOh

v/@MITOCW

[Gabe Nicholson @gabe_mohit]

Support Walter White

[Reads with Ravi @readswithravi]

Computer scientist Sara Hooker on underestimating difficulty:

[Bongjun Jang @__bonjune]

Write a dead simple code that works, and let the agent optimize it while proving the functional equivalence in Lean. Coding is solved?

[MIT CSAIL @MIT_CSAIL]

How to make sure your code keeps getting reused, v/@xkcd.

[João Fé @joaompfe]

People are rewriting programs from higher-level languages to lower-level languages.

I think we should be spending tokens doing exactly the opposite.

[Terrible Maps @TerribleMaps]

Believe it or not, America's 5 largest cities lie perfectly on a 4th-degree polynomial

[Ulugbek S. Kamilov @prof_kamilov]

Science is full of beautiful ideas ruined by measurements.

[DaddyisBest @DaddyisBest]

Bears have become an enlightened species...

[Pope Leo XIV @Pontifex]

In this era of artificial intelligence, it is becoming urgent to distinguish human art from what machines produce. There is an ontological difference, even before an aesthetic one, between art and what a machine can generate through statistical calculation based on millions of images created by others. Algorithms lack the spark of humanity. For this reason, the Church wishes to renew an alliance with artists and cultural institutions to safeguard our humanity.

[htmx.org / CEO of the Anti-Squeeslop League (same) @htmx_org]

AGI has been achieved

[Functor Fact @FunctorFact]

Applied category theory https://t.co/TRuPKH2kAc

[Victor | CreativeCamp @victorundr]

“Los SaaS van a morir, ahora cualquier persona puede hacer su propia App”

Cualquier persona puede hacer ejercicio 1 hora al día para tener buena salud y aun así la mayoría decide no hacerlo.

[Grant Mathews @thesilenceturns]

The slop cycle

[GeekNews @GeekNewsHada]

문제는 AI 코드가 아니라, 이제 아무도 아무것도 모른다는 것이다

출시량만 압박하면 AI가 명세와 코드를 만들어도 시스템 구조와 설계 이유를 아는 사람이 사라질 수 있음

쉽게 만든 앱과 파이프라인이 늘수록 유지보수도 늘어 도메인 지식, 아키텍처 역량이 중요해짐

https://t.co/h4ERmjh6Ip

[Will McGugan @willmcgugan]

I'm excited by this PEP. It feels like comprehensions should always have worked this way, which makes it a great addition to the language.

https://t.co/TRHnx9t1xw

[Yaron (Ron) Minsky @yminsky]

This is a vision for the future of programming I'd be excited to see

[Matti Palli @tritlo]

Lasagna is a monoid. Stack two lasagnas, you get one tall lasagna. This is in contrast to e.g. a pizza. Stacking two pizzas does not make a new pizza, the top pizza merely becomes a topping of the bottom pizza

Follow me for more categorical insights

[Denis B. @denbvk]

@fchollet But I am afraid if you have not written the code, you are unlikely to understand it. Any suggestions on how to solve it?