GoKawiil - Tech News

961.

Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing (news.ycombinator.com)

2025-12-17 | get OpenWRT → | tags: code, form, minus

962.

Therabody Promo Codes: 50% Off | December 2025 (wired.com)

2025-12-17 | by Molly Higgins | get Therabody → | tags: code, discount, discounts

963.

Introduction to Software Development Tooling (2024) (news.ycombinator.com)

2025-12-17 | get Visual Studio Code → | tags: assignment, assignments, code

964.

CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024) (news.ycombinator.com)

2025-12-17 | get Software Development Tooling → | tags: assignment, assignments, code

965.

Dafny: Verification-Aware Programming Language (news.ycombinator.com)

2025-12-16 | by Dafny Project | get Verification-Aware → | tags: code, dafny, development

966.

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (news.ycombinator.com)

2025-12-16 | by Simon Willison | get JustHTML → | tags: codex, html, javascript

967.

I Ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5h (news.ycombinator.com)

2025-12-16 | by Simon Willison | get JustHTML → | tags: codex, html, javascript

968.

TRELLIS.2: state-of-the-art large 3D generative model (4B) (news.ycombinator.com)

2025-12-16 | get Generative Model → | tags: code, cuda, environment

969.

AI will make formal verification go mainstream (news.ycombinator.com)

2025-12-16 | get Artificial Intelligence → | tags: code, formal, formal verification

970.

Prediction: AI will make formal verification go mainstream (news.ycombinator.com)

2025-12-16 | get Predictive Analytics → | tags: code, formal, formal verification

971.

Letta Code (news.ycombinator.com)

2025-12-16 | get Letta Code → | tags: agent, agents, code

972.

Ask HN: How are you LLM-coding in an established code base? (news.ycombinator.com)

2025-12-16 | get Language Model → | tags: code, copilot, cursor

973.

Vibe coding creates fatigue? (news.ycombinator.com)

2025-12-16 | by Stephan Schmidt | get Neurofeedback → | tags: brain, code, coding

974.

Too Fast to Think: The Hidden Fatigue of AI Vibe Coding (news.ycombinator.com)

2025-12-16 | by Stephan Schmidt | get Neuralink → | tags: brain, code, coding

975.

Show HN: Zenflow – orchestrate coding agents without "you're right" loops (news.ycombinator.com)

2025-12-16 | get TensorFlow → | tags: actual, actual work, brain

976.

New M5 iMac model aimed at pro users might be coming, per leak (9to5mac.com)

2025-12-16 | by Ryan Christoffel | get iMac Pro → | tags: apple, code, imac

977.

Flash sale: Get a refurbished PS5, Nintendo Switch, and Apple Watch at Back Market (zdnet.com)

2025-12-16 | by Kayla Solino | get Nintendo Switch → | tags: codes, limited, market

978.

Zencoder drops Zenflow, a free AI orchestration tool that pits Claude against OpenAI’s models to catch coding errors (venturebeat.com)

2025-12-16 | get Zenflow → | tags: code, coding, filev

979.

Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents (news.ycombinator.com)

2025-12-16 | get Flight Computer → | tags: analysis, code, database

980.

Rust GCC backend: Why and how (news.ycombinator.com)

2025-12-16 | by Guillaume Gomez | get GCC → | tags: backend, code, compiler

981.

Rust GCC back end: Why and how (news.ycombinator.com)

2025-12-16 | by Guillaume Gomez | get Compiler → | tags: backend, code, compiler

982.

Here’s why I ditched ChatGPT and moved to local AI (androidauthority.com)

2025-12-16 | get Language Model → | tags: chatgpt, code, computer

983.

VS Code deactivates IntelliCode in favor of the paid Copilot (news.ycombinator.com)

2025-12-16 | by Wolf Hosbach | get IntelliCode → | tags: agents, code, continue

984.

Hoka Coupon Codes: 10% Off | December 2025 (wired.com)

2025-12-16 | by Adrienne So | get Hoka One One → | tags: code, free, hoka

985.

China, Iran Are Having a Field Day With React2Shell, Google Warns (slashdot.org)

2025-12-16 | get React2Shell → | tags: actors, chinese, code

986.

Context: Odin’s Most Misunderstood Feature (news.ycombinator.com)

2025-12-15 | get Dark Mode → | tags: allocator, code, context

987.

Your programming career isn't over - AI just upgraded your toolbox (zdnet.com)

2025-12-15 | by David Gewirtz | get AI Toolset → | tags: code, coding, hand

988.

10 things I wish I knew before trusting Claude Code to build my iPhone app (zdnet.com)

2025-12-15 | by David Gewirtz | get iOS → | tags: claude, code, coding

989.

Nvidia Nemotron 3 Family of Models (news.ycombinator.com)

2025-12-15 | get Nvidia GeForce → | tags: accuracy, code, model

990.

GNOME bans AI-generated extensions (theverge.com)

2025-12-15 | by Stevie Bonifield | get Linux → | tags: code, community, extensions