GeekNews
페르마의 마지막 정리 형식화
Anthropic은 Claude가 11일간 대부분 자율적으로 작성한 최초의 종단 간 컴퓨터 검증형 페르마의 마지막 정리 증명을 공개함 수십 개의 Claude 에이전트가 Prove2Me에서 정리 의존성 그래프를 공유하며 3만 300개 정리를 증명했고, 최종 증명에는 2만 9,500개를 사…
SUNG-HEE — 최신 IT·테크·AI·개발·게임 뉴스 큐레이션
The Verge
Audacity 4 is a complete revamp of the ‘world’s most popular’ audio editor
Audacity 4 has been in the works for some time, and had its own mini controversy last year when an unfortunate redesigned logo started making the rounds. The final version of the new icon isn't nearly as bad as the early rendition that was circulating…
DEV Community
Architecting Enterprise Angular with Signals: Zoneless Reactivity and 60fps Performance
Architecting Enterprise Angular with Signals: Zoneless Reactivity and 60fps Performance For nearly a decade, Angular relied on Zone.js to intercept asynchronous browser events and trigger top-down dirty checking across the entire component tree. In large enterprise dashboards displaying live telemetry, grid streams, and complex forms,…
DEV Community
Architecting Enterprise Angular with Signals: Zoneless Reactivity and 60fps Performance
Architecting Enterprise Angular with Signals: Zoneless Reactivity and 60fps Performance For nearly a decade, Angular relied on Zone.js to intercept asynchronous browser events and trigger top-down dirty checking across the entire component tree. In large enterprise dashboards displaying live telemetry, grid streams, and complex forms,…
DEV Community
I Compared 4 Dungeon Generation Algorithms. One of Them Never Works.
Four algorithms. Same grid. Very different dungeons. I implemented BSP trees, cellular automata, random walk, and room placement, ran each one 20 times on an 80×40 grid, and measured everything: connectivity, open space, path length, speed. The Results Algorithm Open Space Connected Rooms Path Length…
DEV Community
Open Source Contribution
Hello folks, this is my first Dev post. I was searching for some good repos for open source contributions. As i have completed last year Hacktoberfest, i am not newbie but also i haven't contributing since then. So i was searching for some repos which…
DEV Community
Traceroute devlog #6
This week I finally got to watch something run that had existed only as a paragraph in a planning document for months. An automated pipeline that generates a new puzzle on its own schedule, hands it to another AI acting strictly as a reviewer, and…
DEV Community
Fermat’s Last Theorem in Lean: The Community Project and Claude’s Real Role
The formalization of Fermat’s Last Theorem (FLT) in the Lean proof assistant remains an ongoing community-led effort. It should not be attributed to Claude as a completed, first formalized proof. The distinction matters because formal verification is a demanding process: converting a mathematical argument into…
DEV Community
Earth Observation on AWS, Part 1: Stream Satellite data from Orbit to your S3 bucket
The missing piece for an end-to-end data pipeline, entirely on AWS, from space. Camping in the North Cascades growing up, stargazing was a treasured pastime for me. My dad and I would often read between the lines of stars and planets to look for satellites……
Hacker News
Fermat’s Last Theorem: Anthropic has beaten me to it
▲ 6점 · 댓글 💬 0개 · 해커뉴스
DEV Community
From Software Engineer to AI Engineer – Part 6: Closing the loop
Everything so far has been single-shot. One call in, one result out, with us gluing the pieces together. But what if we get a realistically complex prompt: "Tell me how much it costs to refund 100 euros to a European consumer card. Then issue a…
DEV Community
Express.js-এ Zero-Boilerplate OpenAPI: Zod ও Fluent Routing দিয়ে এন্ড-টু-এন্ড টাইপ-সেফ ডকুমেন্টেশন ইঞ্জিন
কেমন হতো যদি আমরা অত্যন্ত ক্লিন ও ডিক্লারেটিভ উপায়ে রাউট ডেফিনিশনের সাথেই Swagger ডক্স যুক্ত করতে পারতাম? যেখানে রাউটার নিজে থেকেই ভ্যালিডেশন মিডলওয়্যার থেকে সব ইনপুট স্কিমা (Query, Params, Body) রিড করে সম্পূর্ণ ভ্যালিড OpenAPI ডকুমেন্টেশন স্বয়ংক্রিয়ভাবে জেনারেট করে দেবে! এই আর্কিটেকচারাল প্যাটার্ন ব্যবহারের ফলে…
DEV Community
I Thought the Optimizer Was the Product. I Was Wrong. The Gate Was.
이전: 모두 작동하는 시스템처럼 보이는 9 개의 버그 · 자체 프롬프트를 다시 쓰는 AI를 만들었습니다. · 4 개의 작업을 수정하고 1 개를 깨뜨린 편집 · LLM이 자체 프롬프트를 다시 작성하게했습니다. 진정한 승리는 게이트였습니다…
DEV Community
Hardening a Linux Server with UFW
Hardening a Linux Server with UFW Introduction # 1.1 "Teaser" overview In this project, I tested how a Linux host-based firewall changes the way a server appears during network reconnaissance. Using Nmap, I scanned a TripleTen play-server before and after enabling UFW. Before the firewall…
DEV Community
The Compiler Got 5% Slower. The Benchmark Called It a 10% Regression a Quarter of the Time.
IBM's Benchpress pins the seeds that build its circuits and passes no seed to the code that compiles them. On one circuit, over 400 seeds per version, the real change between two Qiskit releases is +5.37%. The suite's own three-run protocol reports it as a…
DEV Community
OpenAI GPT-6 Astra Cyber Risk Analysis
OpenAI launched GPT-6 Astra, its new flagship large language model, which has reached the “Critical” cybersecurity risk level under the company’s Preparedness Framework. This classification triggers additional deployment restrictions for the model. Astra is rolling out to a limited set of organizations and will soon…
DEV Community
Break-even is not a profit, and my calculator said it was
Refinance a 200,000 mortgage. Current rate 7%, 300 months left. New rate: 7%. New term: 25 years. Closing costs: 4,000. That is not a refinance. It is the loan you already have, plus a bill for four thousand. My calculator, in green: Save $0.00/mo The…
Hacker News
Statichost.eu – 100% European static site hosting
▲ 20 points · 💬 2 comments · Hacker News
DEV Community
SegWit: Why we needed it
To understand why SegWit came about, we need to start with how bitcoin transactions are constructed. Bitcoin transaction data basically contains data that locks and unlocks bitcoins. An example transaction data is 010000000110ddd830599b17cc690535f7df28a84466eaca3c22f0d55b79023b6570f4fbc5010000008b483045022100e6186d6f344ce4df46b2e15d87093d34edbf5b50462b6b45f9bd499a6a62fbc4022055f56a1c4a24ea6be61564593c4196b47478a25cf596c1baf59f5a9a229b637c014104a41e997b6656bc4f5dd1f9b9df3b4884cbec254d3b71d928587695b0df0a80417432f4ca6276bc620b1f04308e82e70015a40f597d8260912f801e4b62ab089effffffff0200e9c829010000001976a9146f34d3811aded1df870359f311c2a11a015e945388ac00e40b54020000001976a91470d6734de69c1ac8913892f2df9be0e738d26c2d88ac00000000 This transaction spends from and pays to a Pay-to-PubKey-Hash (P2PKH) addresses which…
Hacker News
How to Create a Tor Exit Node
▲ 4점 · 댓글 💬 0개 · 해커뉴스
DEV Community
Sprinkle: Finding a Better Home for the Things We Donate
This is a submission for Weekend Challenge: Generosity Edition. What I Built When I was younger, my family went through times when we needed help from local charities, food pantries, clothing programs, and things like that. I do not need to get into all the…
Hacker News
An open DNS recursive service for free security and high privacy
▲ 11 points · 💬 1 comments · Hacker News
DEV Community
I trained my AI agent to burn less money. Here's what actually worked.
A few months ago I became convinced my AI assistant was bleeding money through incompetence. It felt true. Sessions ran long, things failed, and the meter was always spinning. So I did what I do with any suspected leak: I measured it. I streamed 45…
DEV Community
Unblock: a Claude Code skill that keeps trying when a web lookup fails
A web search fails. You retry it. It fails again, same way. That loop wastes turns and gets nothing done, so I built a skill that skips the retry and moves on instead. Unblock is a Claude Code skill for exactly that moment: a search,…