AI 资讯
The Switch 2 is $50 off at Woot for new customers
Woot is celebrating its 22nd anniversary by rolling out a full week of sales, and one of them stands out for gamers looking to get a deal on Nintendo’s latest console. Normally $449.99, the Nintendo Switch 2 is $22 off for Woot customers who already have an account, or $50 off for new customers, when […]
AI 资讯
Bluecore Energy raises $10M to build portable nuclear reactors on barges
Maritime nuclear energy startup Bluecore Energy has raised $10 million in a pre-seed funding round led by Slauson & Co.
AI 资讯
Apps targeted at US troops contain Chinese and Russian code
More than one-eighth of apps analyzed contained foreign code.
产品设计
Tesla teases Cybercab with a built-in Starlink V5 antenna
Tesla has revealed its upcoming Cybercab design with a built-in SpaceX Starlink V5 dish.
开源项目
🔥 conorbronsdon / avoid-ai-writing - Skill that audits and rewrites content to remove AI writing
GitHub热门项目 | Skill that audits and rewrites content to remove AI writing patterns. Use it with your favorite agents including Claude Code, OpenClaw, and Hermes. | Stars: 2,511 | 165 stars this week | 语言: JavaScript
开源项目
🔥 yvgude / lean-ctx - Control what your AI can see. LeanCTX (Lean Context) is the
GitHub热门项目 | Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. 60–90% fewer tokens as the receipt. 76 MCP tools, 30+ agents, local-first. | Stars: 3,326 | 14 stars today | 语言: Rust
开源项目
🔥 agegr / pi-web - Web UI for the pi coding agent
GitHub热门项目 | Web UI for the pi coding agent | Stars: 1,616 | 286 stars today | 语言: TypeScript
开源项目
🔥 WordPress / agent-skills - Expert-level WordPress knowledge for AI coding assistants -
GitHub热门项目 | Expert-level WordPress knowledge for AI coding assistants - blocks, themes, plugins, and best practices | Stars: 1,901 | 7 stars today | 语言: JavaScript
开源项目
🔥 expo / skills - A collection of AI agent skills for working with Expo projec
GitHub热门项目 | A collection of AI agent skills for working with Expo projects and Expo Application Services | Stars: 2,286 | 55 stars today | 语言: JavaScript
开源项目
🔥 practical-tutorials / project-based-learning - Curated list of project-based tutorials
GitHub热门项目 | Curated list of project-based tutorials | Stars: 274,500 | 276 stars today | 语言: Python
开源项目
🔥 owainlewis / awesome-artificial-intelligence - A curated list of Artificial Intelligence (AI) courses, book
GitHub热门项目 | A curated list of Artificial Intelligence (AI) courses, books, video lectures and papers. | Stars: 15,360 | 50 stars today | 语言: Python
开源项目
🔥 dottxt-ai / outlines - Structured Outputs
GitHub热门项目 | Structured Outputs | Stars: 14,650 | 49 stars today | 语言: Python
开源项目
🔥 langchain-ai / open_deep_research
GitHub热门项目 | | Stars: 12,083 | 14 stars today | 语言: Python
开源项目
🔥 ayghri / i-have-adhd - A skill for your coding agent to stop it from burying the an
GitHub热门项目 | A skill for your coding agent to stop it from burying the answer. ADHD-friendly output. | Stars: 6,027 | 1,846 stars today | 语言:
科技前沿
2027 Kia Seltos first drive gives you plenty of SUV for not much $
It starts at just under $25,000, but the hybrid won't arrive until next year.
AI 资讯
Halliday’s latest smart glasses feature a much-improved display
I first slipped on Halliday's original smart glasses at CES 2025. I was not a fan. The glasses had a tiny, movable display window embedded into the frame that was incredibly finicky to see, and my 30-minute demo left me with achy eyeballs. It was an interesting concept with terrible execution, especially compared to the […]
科技前沿
Nintendo keeps making shooters more friendly and approachable
Nintendo does a lot of weird things, but Splatoon might just be one of the strangest - or at least the boldest. The series started as an attempt to muscle into the ultra-competitive online shooter space, but in a way that feels a world away from the violence and bombast of Call of Duty or […]
AI 资讯
The wireless headset that gets hot-swappable batteries right
New gaming gear is always promising to shave milliseconds off latency or response time. The improvements usually aren't obvious. But the Glorious GHS InfinitePlay wireless headset, on the other hand, could save you far more than just milliseconds: It has the fastest hot-swap battery system I've ever used, and the headset doesn't die when you […]
科技前沿
Halliday’s New Smart Glasses Skip the Camera
Halliday’s G2 glasses can listen to and summarize your workplace meetings—with no video involved.
AI 资讯
🐘 TypeScript for PHP? YES, that's possible! And it's not what you think...
It is time to bring opposites together, to stir up these stagnant waters, and to restore an industry that is dynamic from within, with multiple connections that were previously impossible or unimaginable. In the previous parts of this series, we explored how PureScript acts as a quiet rewrite of the Web , offering a territory of mathematical precision above JavaScript, and how its universal polymorphism allows it to target wildly different runtimes like Node.js, Erlang's BEAM, Chez Scheme, etc. But hey, what about the elephant in the room? Yes, what is running the majority of the web, today, in the shadow? You know. The eternal one, the big one, the one whose death everyone talks about, but who never truly dies. PHP. While the modern JavaScript ecosystem (among others) races toward edge computing and containerized microservices, around 70% of the web is still powered by PHP . From legacy WordPress sites to affordable shared hosting (cPanel, OVH, GoDaddy, basic LAMP stacks), a massive portion of the internet lives in environments where escaping the PHP runtime is either financially unviable, technically impossible, or simply unnecessary. And yet... For a long time, the PHP ecosystem has been left without a true, strictly typed functional and safe alternative, like TypeScript for Javascript. Even though recent PHP versions introduced fantastic features (short closures, match expressions, Fibers), the frustration that comes with its historical limitations and dynamic typing remains very real for some of its users. Very well! This is why I built phpurs : a brand new compiler backend that transpiles PureScript directly to modern PHP 8.4+ syntax. It is no longer a proof of concept. It is passing the official PureScript test suite , and it is ready for production. Here is how we bring the elegance of purely functional programming to the big web, while keeping deployment as simple as a legacy FTP upload, or anything alike. The easy deployment paradox In modern DevOps, deplo