There are so many models, is there any website with list of all of them and comparison of performance on different tasks?
There is https://artificialanalysis.ai
Readit Newscoffeeri commented on Kimi Released Kimi K2.5, Open-Source Visual SOTA-Agentic Model kimi.com/blog/kimi-k2-5.h... · Posted by u/nekofneko
coffeeri commented on Show HN: I wrote an OS in 1000 lines of Zig github.com/botirk38/OS-10... · Posted by u/botirk
Hi botirk, really interesting project!
If I build the project what is the output format and how could configure things to boot it?
I know how to this with IMG and ISO files of course but not sure what to do with the build output if it's an executable?
Also any insights into whether this would also boot on an ARM machine? Thanks!
Check the build.zig file. It defines the arguments for QEMU to run the OS.
You should be able to run zig build run.
coffeeri commented on A staff engineer's journey with Claude Code sanity.io/blog/first-atte... · Posted by u/kmelve
Does anyone have a link to a video that uses Claude Code to produce clean robust code that solves a non trivial problem (ie not tic tac toe or a landing page) more quickly than a human programmer can write? I don’t want a “demo”, I want a livestream from an independent programmer unaffiliated with any AI company and thus not incentivised to hype.
I want the code to have subsequently been deployed in production and demonstrably robust, without additional work outside of the livestream.
The livestream should include code review, test creation, testing, PR creation.
It should not be on a greenfield project, because nearly all coding is not.
I want to use Claude and I want to be more productive, but my experience to date is that for writing code beyond autocomplete AI is not good enough and leads to low quality code that can’t be maintained, or else requires so much hand holding that it is actually less efficient than a good programmer.
There are lots of incentives for marketing at the grassroots level. I am totally open to changing my mind but I need evidence.
This video [0] is relevant, though it actually supports your point - it shows Claude Code struggling with non-trivial tasks and needing significant hand-holding.
I suspect videos meeting your criteria are rare because most AI coding demos either cherry-pick simple problems or skip the messy reality of maintaining real codebases.
Location: Cologne, Germany
Remote: Yes
Willing to relocate: No
Technologies: Golang (Go), C, Python, NATS, PostgreSQL, Docker, AWS, QEMU, Linux, Dynamic Analysis, Reverse Engineering, Malware Analysis, Virtualization (Vagrant, Packer, Proxmox), NixOS, Microservices, REST APIs, Git
Résumé/CV: https://www.linkedin.com/in/leander-kohler/
Email: hn@leander.sh
coffeeri commented on Show HN: Latex.to – LaTeX to image converter running in the browser latex.to... · Posted by u/Wdorf
For the other direction, there is https://detexify.kirelabs.org/classify.html :)
Even better is https://simpletex.cn/
I am using NextDNS [0], which also integrates well within Tailscale across all my devices.
Or are you looking for a solution that works offline within OpenWRT, without relying on third parties?
It appears that there are AdBlock packages available for OpenWRT[1].
[0] https://nextdns.io [1] https://github.com/openwrt/packages/blob/master/net/adblock/...
However, ipinfo still appears to rely on active probing to triangulate geolocation data, which suggests they believe these routing asymmetries can be modeled or averaged out in practice.
https://ipinfo.io/blog/ipinfos-probe-network