HN user

coffeeri

230 karma
Posts8
Comments42
View on HN

This is/was also my take. I’m skeptical that a probe-based network can be granular enough to reliably pinpoint a city, especially when some paths are much better connected than others (fewer hops, uncongested fiber, no throttling).

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

  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
M.Sc. Computer Science graduate with 5+ years student experience in cyber security research, Machine Learning and backend development. Strong background in malware analysis, reverse engineering, and distributed systems. Developed production microservices handling e-commerce operations. Multiple research projects at Fraunhofer FKIE focusing on dynamic analysis, unpacking, and emulation introspection (all with top grades). Maintain extensive homelab infrastructure using Proxmox and NixOS for personal projects and continuous learning. Looking primary for roles in cyber security, low-level development, or backend engineering. Available from May 2025 after a sabbatical.

Have you enabled the deep sleep state in the BIOS? It always depends what you are running on it. For me it's very light with only paperless-ngx and a smb share on a nixos. I also only have one RAM stick installed and set up powertop on startup.

I've also compared many 1L PCs from a performance/price/power consumption perspective. I decided on the HP prodesk/ elitedesk 400/800 G5 with the i5-9500T. It idles at ~2-3W and has considerably more computing and storage than these embedded solutions. I only see something like a raspberry pi be handy when relying on GPIO ports.

Depends on what you are trying to solve. If you don't like the fragmentations of dependencies on your system, this won't go away on a second machine. Also, I'd point you to hosted VS Code environments such as GitHubs code spaces or Gitpod.

You may use something that encapsulates your dev dependencies. Some use containers like docker, others use Nix (can be run on MacOS ). As Nix has quite a steep learning curve, there are abstractions such as devenv or devbox, which I haven't used.

Anki and GPT-3 3 years ago

I guess you are generally right. My prompts are lengthy, since I let GPT-3 handle the full html syntax of both sides, mathjax and so forth. I found the ada model to be not sufficient, but have not tried the other two models, I will try those! There is room for improvement on my side.

From a budget-conscious student's perspective, this amounts to roughly $20 per semester in my case, just for the tags. Despite this, I am still fascinated by the automation possibilities offered by GPT-3.

Anki and GPT-3 3 years ago

This statement is accurate for testing and experimentation purposes. Additionally, the $18 starting credit provided by OpenAI is a nice bonus.

I created a small Anki plugin that tags cards based on their content using the Text-Davinci-003 model. However, the cost quickly becomes prohibitive when a large number of tokens/ Anki cards need to be processed. To be fair that plugin is not working great, since tags should be viewed, merged and reused on a global scope.

If you're an Android user, you may be interested in Aegis [0,1]. It allows you to import data from various formats, either through a file or directly from another app like Authy (needs root access). It also allows for export options, such as encrypted JSON or unencrypted TXT/HTML. Additionally, it enables backups to file storage, I am using my Nextcloud as a target.

Overall, Aegis is my to-go open-source alternative to Authy.

[0] https://getaegis.app/

[1] https://github.com/beemdevelopment/Aegis

Heatpumps are great! Having a coefficient of performance equal to 4 (1kW electricity to 4kW heat) is possible today!

Unfortunately it is not as easy as just switching your gas heating with a heatpump. For one, heatpumps have a lower flow temperature, therefore a good insulation of the house is required. Also big radiators such as floor or wall are preferred.

Moving to heatpumps might start an entire house renovation which comes at a cost.