
ScriptNex — Learn Programming Online | Free Coding Platform
免费平台,提供500+编程挑战、学习路径和实时竞赛
@sumitkdevcode · X
完整作品展
技术栈
23 projects

免费平台,提供500+编程挑战、学习路径和实时竞赛
@sumitkdevcode · X

通过交互式挑战练习代码审查和系统设计。
u/Most-Football-4401 · Reddit
AI is writing more and more of our code. I think that means we need to get much better at reviewing it. We have a lot of tools to practice coding (LeetCode, HackerRank, Codewars, and so on). But I see very little on practising reviewing code, especially code written by AI . I am aware industry is running to build tools for AI review AI written code (the fox guarding the henhouse). But I believe it is just a matter of time before regulators start slapping hands for doing so in regulated indus

Jiki 通过编码游戏和挑战学习编程基础,适合 LLM 时代
@RahimNathwani · X
Not a direct answer but the guys at Exercism (non-profit that publishes really good and free programming language self-study courses) recently launched a separate site to teach junior programmers both vibe coding and software engineering fundamentals.

通过交互式Verilog和数字逻辑问题练习硬件工程。
@Aimenbuilds · X
- leetcode for hardware engineers! We map job postings of hardware roles 1-1 to course requirements!


对比不同Agent Harness策略的成本,基于缓存和上下文计费。
taosx · HN
I created a simulation for coding harnesses based on my own pi sessions. When taking into account all factors, DS-v4-Pro is cheaper than gpt-5.6-luna due to caching. Look at the bill segments difference for cache read cost and uncached cost between deepseek and the other models. At this point is cheaper to use ds-v4-pro than the luna models from openai. ignore the numbers except the classic and keep in mind that classic is based on pi with the only change limiting tool output to 10kb https://har

供多个 AI 编码代理协作的可视化工作台。
austinvhuang · HN
Collaborate.dev – Multiplayer Visual Desktop for Coding Agents

Semfora: 分析代码库结构找出代码变更的风险
u/jeremyStover · Reddit
My second paying customer bought a full year subscription. I have mentioned https://semfora.ai before, here and there on Reddit. I haven't talked much about what it really provides. I was hoping to drive up some organic traffic, from people that had the motivation to dig past the beta. Stupid idea, but now that we have passed pen tests and hit the minimum requirements check list for security audits, (see other threads about that) we opened up the beta to everyone. Two days after that(

用于与编码代理协作进行规划和原型设计的本地笔记本。
narwhster · HN
A notebook for prototyping with your agent

在统一终端界面中协调多个 AI 编码代理和项目。
@soracstv · X
I run my AI coding agents with AgentsRoom, a visual command center for multi-agent development. @AgentsRoomDev #VibeCoding #AI

为自主编程智能体提供异步协调基础设施和审计追踪。
tyagivivek · HN
Parley – your coding agent can talk to a teammate's agent

FizzBee 是 AI 需求工程师,为编程 agent 生成经过验证的规格说明。
jayaprabhakar · HN
I've been building an open source formal methods system (fizzbee.io) for the past few years. Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to uncover gaps and produce precise instructions for your coding agents to follow. When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario At the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces working code in fewer iterations. Please give it a try and share your feedback. https://fizzbee.ai/ You can also look at a sample project. https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...