thexa4
Re:Continue coding agent is dead. Alternatives?
on Saturday August 22, 2026 @08:18PM (#49405102)
I am running local models but noticed that Copilot didn't work with them correctly. To fix that I made a llama copilot extension that fixes some problems like Copilot throwing away thinking traces: https://marketplace.visualstudio.com/items?itemName=delft-so...
Getting pretty good results now with the Qwen models on my mac.
Re:Can I Run AI locally?
on Friday March 13, 2026 @07:28PM (#47371391)
I've created a llama.cpp integration with Copilot in vscode. The extension readme contains setup instructions: https://marketplace.visualstudio.com/items?itemName=delft-so...
Re:Using the internet without IPv4 connectivity
on Sunday June 29, 2025 @05:17AM (#44411517)
If anyone else runs into this, it's very easy to set up an ssh proxy: ssh -D 8080 user@hostname
Once that connection is set up, point your browser to use localhost:8080 as a socks proxy.
Re:Ask HN: What have you built this year that you are proud of?
on Sunday November 17, 2024 @06:55PM (#42168437)
I made a mac screensaver that paints your screen based on Game of Life: https://github.com/DelftSolutions/ConwayWatercolor
Re:Ask HN: How can I back up an old vBulletin forum without admin access?
on Tuesday January 30, 2024 @07:30AM (#39189326)
I've backed up a forum[1] by crawling it using wget and creating a WARC file.
I hosted it again by writing a python script[2] to serve responses from that WARC file again and put it behind nginx with caching enabled.
[1] https://forums.empiresmod.com/index.php
[2] https://gitlab.com/thexa4/warc-server
[2, deb package] https://gitlab.com/thexa4/warc-server/-/jobs/5213679726/arti...
Re:Chrome pushes forward with plans to limit ad blockers in the future
on Thursday November 23, 2023 @12:57PM (#38395461)
I've reported a similar issue on mac where it gets slower over time [1]. I hope it gets fixed at some point.
Re:Any way to improve email as a standard in a backwards compatible ma...
on Tuesday August 08, 2023 @06:09AM (#37046751)
You can add another format to the multipart/alternative container. Just like html emails often have a text fallback.
It requires picking a Content-Type name (application/vnd.<your_name>.something) but then you can attach any additional metadata you want: https://kevinjmcmahon.net/articles/html-and-plain-text-multi...
The hard bit is getting email clients to use your information.
Re:Ask HN: Is anyone not using containers in production nowadays?
on Thursday June 01, 2023 @03:49AM (#36148534)
We standardized on debian packages for configuration management and code deploys. The packages are built during CI and then either pushed directly to the desired machine using ssh or published on our own debian package repository.
Re:Tell HN: It's 2023 and you still can't import .ics files into iOS C...
on Monday May 29, 2023 @05:56PM (#36118588)
If that works you can probably encode the ics as a data url and link that: https://en.wikipedia.org/wiki/Data_URI_scheme
Re:Caterpillar offers phone with built-in FLIR camera
on Wednesday December 07, 2022 @06:29AM (#33893193)
Instead of ice cubes you can also use frozen coffee cubes, it prevents dillution.
Re:Ask HN: The nitty gritty details of game matchmaking?
on Saturday September 10, 2022 @08:15PM (#32795664)
I've personally used trueskill for n-n team balancing: https://trueskill.org/
I haven't had enough players to actually have enough data / joining players to actually tune those parameters. If I did though I would store joining data and try out different strategies offline using gradient descent / grid search.
Re:Ask HN: How to store large amounts of data on paper with QR code li...
on Monday August 15, 2022 @09:23AM (#32469323)
I made a small script to securely backup and restore some important files: https://gitlab.com/thexa4/ocrbackup
Data density isn't great though (especially with the added redundancy) but it's enough for things like a password manager file.
Re:Ask HN: How could you effectively collaborate with non-vcs users?
on Monday August 01, 2022 @08:06AM (#32304810)
You can create your own repo and also do a `git init` in the dropbox folder. Then configure both to point to each other as remotes. (`git remote add dropbox /path/to/dropbox`)
When merging stuff, make a commit if needed on the dropbox repo and merge in your changes. Then pull from your personal repo from the dropbox one.
Re:Hetzner appears to impose unlisted “fair use” on traffic
on Tuesday July 26, 2022 @04:21PM (#32243456)
They did have traffic caps a while back but explicitly abolished them.
Re:Round a direction vector to an 8-way compass
on Monday July 25, 2022 @09:31AM (#32223982)
Taking the dot product of the [x,y] with the 8 directions and picking the one with the largest magnitude might be faster in some cases.
Re:Ask HN: Your admittedly useless side projects?
on Friday June 24, 2022 @08:16AM (#31860626)
I've spent way too much time implementing a transpiler and bash like shell that makes programming my ships in Kerbal Space Program easier. The self-hosted version is almost done. I'd probably do it again though, way too much fun to see your spaceships autonomously do things.
Transpiler: https://gitlab.com/thexa4/kos-kpp
Re:DreamHost shared server cannot disable logging IP addresses
on Saturday February 19, 2022 @09:10PM (#30402591)
You can set up a cronjob to run hourly to remove logfiles using `crontab -e`. That would achieve almost the same effect.
Re:Ask HN: What's been the best usage for QR code apart from restauran...
on Tuesday July 13, 2021 @09:42AM (#27820829)
Sorry, you're right. I switched it out.
Re:Ask HN: What's been the best usage for QR code apart from restauran...
on Tuesday July 13, 2021 @06:25AM (#27819348)
I've made a tool to back up my important files on paper using QR codes and erasure coding: https://gitlab.com/thexa4/ocrbackup
Re:What Happened to Ripe.net?
on Wednesday May 19, 2021 @07:46PM (#27215833)
They recently enabled route validation. It's possible your provider doesn't have signed ROAs:
https://www.ripe.net/publications/news/announcements/rpki-ro...
Re:Problems with low DNS TTLs
on Monday March 29, 2021 @10:36AM (#26622292)
Wouldn't imposing a lower bound on the TTL push more people to using anycast instead?
Re:Ask HN: Why is Bitcoin crashing massively right now?
on Saturday May 09, 2020 @09:04PM (#23129503)
https://www.teletrader.com/bitcoin-drops-15-trades-close-to-...
This website suggests it's due to bitcoin halving the block reward soon.
Re:Scammers registering date-based domain names
on Friday January 03, 2020 @06:00PM (#21951239)
The attacker wouldn't use that one in that case though.
https://uk.co.ee/billing-update-jan02.info
https://uk.co.ee-billing-update-jan02/info
Perhaps an animation showing both would help.
Re:Scammers registering date-based domain names
on Friday January 03, 2020 @10:43AM (#21946820)
It means that information to the left is always the important part. Right now you have to find the '/', evaluate the components leftwards, return to the '/' and evaluate components rightwards.
Given that finding the '/' is not always trivial (broken screen example in the article) and doing this requires you to think a lot of people won't do it.
Re:Scammers registering date-based domain names
on Friday January 03, 2020 @08:56AM (#21945822)
Too bad domain names are generally written in the 'wrong' order. These issues would have been preventable if domain names were written the following way: https://org.example.www/index.html
The domain referenced would have been: https://info.billing-update-jan02.uk.co.ee/ vs https://uk.co.ee/billing-update-jan-02
Re:Ask HN: Which project does not have any good open-source alternatives?
on Thursday December 26, 2019 @08:11PM (#21888276)
From what I've seen, perforce is better for storing binary intermediates.
Git doesn't work very well with partial or subfolder checkouts which is something you would need if you want to store intermediates. In games intermediates can take multiple hours to build (like maps). Building the game from scratch every commit like it's usually done with git CI tooling does not work very well.
We also ran into wanting to give modders access to maps and materials but not to game code.
Re:Ask HN: Which project does not have any good open-source alternatives?
on Thursday December 26, 2019 @12:17PM (#21885197)
I wasn't able to find an open source alternative to Newrelic APM for ruby.
Perforce is also something that's very useful for game development but relatively expensive.
Re:Best Practices for Designing a Pragmatic RESTful API
on Saturday December 14, 2019 @07:12PM (#21793367)
If you're interested in API design the upcoming RFC standard might be of interest: https://tools.ietf.org/html/draft-ietf-httpbis-bcp56bis-06
Re:Microsoft REST API Guidelines
on Friday November 22, 2019 @05:56PM (#21611002)
You can make it idempotent again by requiring API users to use an If-Match header with the ETag of the state they're currently expecting.
Also allows you to implement optimistic concurrency. See: https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/If...