재미있는 試圖인 듯 하다.
axiommath.ai
汏𭑆途𣔉
@faecis.bsky.social
IN·INCVBO·SOMNIVM·VERVM·VIDI
10 Followers |
31 Following |
450 Posts |
Joined: 18.11.2024 |
1.6248
@faecis.bsky.social
IN·INCVBO·SOMNIVM·VERVM·VIDI
재미있는 試圖인 듯 하다.
axiommath.ai
I love `calloc()` so much.
03.02.2026 04:35 — 👍 0 🔁 0 💬 0 📌 0
The “MaxCut” problem is a fundamental question about graphs with real-world applications, like efficient circuit design. Recently, work on MaxCut helped mathematicians solve a major problem in number theory.
www.quantamagazine.org/networks-hol...
Attacking the P vs. NP problem with ruliology ... the beginnings of empirical theoretical computer science
writings.stephenwolfram.com/2026/01/p-vs...
당연히 없습니다 (...)
오히려 어떻게 구하고 쓰는지 알고 싶네요.
계산자네요!
30.01.2026 18:10 — 👍 1 🔁 0 💬 1 📌 0今日로 不確定性 原理의 證明을 完全히 理解한 것 같다.
30.01.2026 18:08 — 👍 0 🔁 0 💬 0 📌 0作文은 어렵지만, 飜譯도 어렵다.
28.01.2026 23:15 — 👍 0 🔁 0 💬 0 📌 0
드디어 理解할 수 있는 文章이다...
27.01.2026 04:44 — 👍 0 🔁 0 💬 0 📌 0
이건 또 무슨 調合인가...
youtu.be/SoVEML-l5V8?...
26.01.2026 04:26 — 👍 7 🔁 4 💬 1 📌 0
이제 한국으로 가시는 건가요?
24.01.2026 23:21 — 👍 1 🔁 0 💬 1 📌 0
Interesting... 🤔
arxiv.org/abs/1108.1791
이런것도 배워보고 싶다.
bokeh.org
ㄹㅇ요...
21.01.2026 01:53 — 👍 1 🔁 0 💬 0 📌 0世界那麼大，沒有歸屬處。
20.01.2026 07:53 — 👍 0 🔁 0 💬 0 📌 0땅콩버터와의 조합이 절묘하죠!
18.01.2026 06:01 — 👍 1 🔁 0 💬 1 📌 0그렇기도 하지만 제 지역은 조금 낙후되어 있어서 그런지 그런 책들은 찾아 볼 수가 없습니다. 아마 선생님이 계신 곳이 좋은 학군지라서 그런것이 아닌가 하고 추측해 봅니다.
17.01.2026 19:22 — 👍 1 🔁 0 💬 1 📌 0우와...
17.01.2026 00:37 — 👍 1 🔁 0 💬 1 📌 0Kurzgesagt가 歷史 채널을 열다니... 感激이다!
16.01.2026 15:13 — 👍 0 🔁 0 💬 0 📌 0
오픈 소스 프로젝트를 始作하기 前에 參考하기 좋은 글.
opensource.guide
현재 캐나다에 계신가요?
13.01.2026 16:36 — 👍 1 🔁 0 💬 1 📌 0잘 오셨습니다! 요즘 정치적으로 혼란스럽고 특히 ICE의 활동도 심상치 않으니 조심하세요.
12.01.2026 17:00 — 👍 1 🔁 0 💬 0 📌 0
學問的인 글쓰기를 할 때 有用할 것 같다.
www.phrasebank.manchester.ac.uk
The year of “reasoning” The year of agents The year of coding agents and Claude Code The year of LLMs on the command-line The year of YOLO and the Normalization of Deviance The year of $200/month subscriptions The year of top-ranked Chinese open weight models The year of long tasks The year of prompt-driven image editing The year models won gold in academic competitions The year that Llama lost its way The year that OpenAI lost their lead The year of Gemini The year of pelicans riding bicycles The year I built 110 tools The year of the snitch! The year of vibe coding The (only?) year of MCP The year of alarmingly AI-enabled browsers The year of the lethal trifecta The year of programming on my phone The year of conformance suites The year local models got good, but cloud models got even better The year of slop The year that data centers got extremely unpopular My own words of the year That’s a wrap for 2025
Here's my enormous round-up of everything we learned about LLMs in 2025 - the third in my annual series of reviews of the past twelve months
https://simonwillison.net/2025/Dec/31/the-year-in-llms/
This year it's divided into 26 sections! This is the table of contents
The Ridiculous Engineering Of The World's Most Important Machine
Our latest video out now on YouTube. youtu.be/MiUHjLxm3V0
Steam's Best of 2025 Chart is now available! Sort by top sellers, new releases, player count, and more - how did your favorites stack up against the rest?
store.steampowered.com/charts/besto...
I just wanted to listen to dark ambient music, not people weeping.
26.12.2025 10:41 — 👍 0 🔁 0 💬 1 📌 0
> Multiocular O (ꙮ) is a unique glyph variant found in a single 15th-century manuscript, in the Old Church Slavonic phrase серафими многоꙮчитїи (abbreviated мн̑оꙮ҆читїи̑; serafimi mnogoočitii, 'many-eyed seraphim').
en.wikipedia.org/wiki/Cyrilli...
저도 남자지만 너무했네요.
24.12.2025 17:26 — 👍 1 🔁 0 💬 1 📌 0
