Hacker News

Article URL: https://www.heise.de/en/news/AI-proves-mathematicians-wrong-11303022.html

Comments URL: https://news.ycombinator.com/item?id=48256796

Points: 2

# Comments: 1

I work with a bunch of people that just left college and we were discussing how to avoid deskilling and I said "well, you could go to local meetups". They're in NYC (I'm in Florida right now) and said there isn't much going on and I couldn't believe it. Asked some more experienced friends that have been living there for longer and they said that it all died during COVID and never came back.

I ran or helped organize meetups in multiple places, back in Brazil where I'm from, Boston and then Philadelphia. We used to joke you could have pizza and coke for dinner every night in PHL during the week for the number of meetups we had. You'd meet cool people, see people sharing their experiences, build your network and make friends all at the same time. During COVID we moved to Florida and got kids so I kinda got out of the loop with meetups, but I had no idea it was this bad.

How are these kids going to meet other practitioners, build their network and even put themselves out there by presenting?

Comments URL: https://news.ycombinator.com/item?id=48256791

Points: 2

# Comments: 0

Article URL: https://github.com/thongor77/nmlinux

Comments URL: https://news.ycombinator.com/item?id=48256774

Points: 2

# Comments: 0

Built with Next.js and Claude API. Would love feedback from the HN community.

Comments URL: https://news.ycombinator.com/item?id=48256767

Points: 2

# Comments: 2

Article URL: https://dev.java/learn/javafx/a11y/

Comments URL: https://news.ycombinator.com/item?id=48256765

Points: 1

# Comments: 0

Article URL: https://huggingface.co/bytedance-research/Lance

Comments URL: https://news.ycombinator.com/item?id=48256593

Points: 1

# Comments: 0

Article URL: https://unmitigatedrisk.com/?p=1245

Comments URL: https://news.ycombinator.com/item?id=48256587

Points: 1

# Comments: 0

Article URL: https://www.phoronix.com/news/KernelScript

Comments URL: https://news.ycombinator.com/item?id=48256574

Points: 1

# Comments: 0

Article URL: https://apple.github.io/ml-pico/

Comments URL: https://news.ycombinator.com/item?id=48256565

Points: 1

# Comments: 0

Article URL: https://github.com/atveit/pi-mojo/tree/main

Comments URL: https://news.ycombinator.com/item?id=48256552

Points: 1

# Comments: 0

Article URL: https://github.com/analyticalmonk/autotrader

Comments URL: https://news.ycombinator.com/item?id=48256526

Points: 1

# Comments: 0

Hello HN,

Ever since agents have become increasingly common in development, I've been scratching my head as to how to control their randomness. Recently, I decided to emulate an issue-tracking and project-management tool for agent-driven workflows.

Kanban is a Rust-based coordination layer designed to provide a feature-rich terminal interface and enforce rigorous workflows. It aims to be versatile and extendable, made to be tailored to any preferred flow. It comes with full git integration and guardrails such that only what truly benefits a project can go through.

The workflow boils down to 4 steps:

1. The model reads the skill to contextualize the requirements

2. It authenticates and receives a strict, schema-validated JSON payload outlining exact files, context, and acceptance criteria

3. Implementation is performed within an automatically isolated Git worktree and branch. The tool tracks progress (e.g., verifying all files were edited) before the task is submitted for review

4. A reviewer (preferably a human) evaluates the submission and manually transitions the task to "Done," which triggers the final merge and cleans up the task-specific environment.

The tool significantly decreases the agent development time, while increasing the human planning phase.

There is more to it than I can cover here, so I'd be happy to answer any questions about the architecture, the workflow, or the insights I gained while using it. For more information, I recommend skimming the README, which acts as an index to all documentation files.

Repo: https://codeberg.org/hydrafog/kanban

Comments URL: https://news.ycombinator.com/item?id=48256520

Points: 1

# Comments: 1

Article URL: https://esolangs.org/wiki/Binary_lambda_calculus

Comments URL: https://news.ycombinator.com/item?id=48256479

Points: 1

# Comments: 0

Article URL: https://chrmod.net/archive/cookie-banners-vision-models/

Comments URL: https://news.ycombinator.com/item?id=48256478

Points: 2

# Comments: 0

Article URL: https://www.youtube.com/watch?v=mPhbq69K3tY

Comments URL: https://news.ycombinator.com/item?id=48256476

Points: 1

# Comments: 0

Article URL: https://mastering.dyalog.com/README.html

Comments URL: https://news.ycombinator.com/item?id=48256475

Points: 2

# Comments: 0

Article URL: https://arxiv.org/abs/2509.15998

Comments URL: https://news.ycombinator.com/item?id=48256474

Points: 1

# Comments: 0

Article URL: https://www.asimov.press/p/lab-notebooks

Comments URL: https://news.ycombinator.com/item?id=48256450

Points: 2

# Comments: 0

Article URL: https://research.ucc.ie/en/publications/expanding-the-human-proteome-with-microproteins-and-peptideins/

Comments URL: https://news.ycombinator.com/item?id=48256449

Points: 1

# Comments: 0

I donate to open source, and I'm loving the new Fresh IDE TUI for teaching students. I found it after trying astronvim, helix, zed, micro, etc.

I'm offering $100 as an incentive for anyone on HN who can add epub reader capabilities to Fresh using Rust.

https://github.com/sinelaw/fresh/issues/2087

Spec: in the left-side file explorer, I select file `foo.epub`, then the right-side file viewer shows me the epub content as human-readable text not bytes.

Scope: The goal is to be good enough for a developer to be able to read epub documentation within Fresh in the TUI, without needing to call pandoc or launch a separate app or helper or plugin. Fresh runs locally on the developer's laptop, and the ePub is on a remote server and for security reasons cannot be downloaded to the local laptop.

Implementation: I can suggest trying the Rust crate `epub` and `bookokrat` because these work well for me in other projects. The implementation can't use JavaScript or TypeScript because of compliance aspects beyond me.

As an aside, I'm not affiliated with Fresh in any way, other than as a happy user and open source sponsor.

Comments URL: https://news.ycombinator.com/item?id=48256442

Points: 1

# Comments: 0