HNHacker News
TopNewBestAskShowJobs

prologic

201 karma · joined July 9, 2020

"Problems are Solved by Method"

Website: https://prologic.dev/ Twtxt: https://twtxt.net/~prologic Blog: https://prologic.blog/ Git: https://git.mills.io/prologic

submissionscomments
prologic··on Cloudflare's new AI traffic options for customers
Surely I don't need to explain how headless browsers work, bot proxies and distributed crawlers to you do I? If you haven't experienced this first-hand, I can understand. Maybe it warrants a blog post. But I can assure you, these don't work at scale, they might only stop the "less sophisticated" bots and maybe (just maybe) some unwanted spam.
prologic··on Cloudflare's new AI traffic options for customers
Name one, that an LLM can't solve. The only real mechanism that continues to still work (but doesn't scale) is "Human in the loop".
prologic··on Ask HN: Do types make a language more expressive, or less?
Yeah no. Types don't make languages "more expressives". That just makes contracts (e.g: API(s) between callees and callers) more contractual and precise.

What does make a language more expressive (which may or may not be a good thing, that's a matter of taste) is powerful primitives that ladder up to more complex patterns and interesting ways to "express" ideas.

For example. One of the most expressive languages (arguably) is Lisp, or Io or other languages that have a property we call Homoiconicity -- meaning that the language's AST can be expressed and modified in the runtime of the language itself.

Macros are another feature that can make languages far more expressives too with similar effects.

Python's dunder methods, e.g: `__add__` are also another expressive feature (or anti-feature depending on how you use/abuase them) of Python.

prologic··on Ask HN: What do you do when your AI agents are working?
In a work environment (at work), I often use Claude Code to fulfill work I would otherwise normally do with my steer and guidance. What I then do is go back to discussions, answering questions, reviewing others work, etc, until Claude has something for me to review.

This allows me to basically do "asynchronous" work and keep-up with the increasingly complex work environment where there are lots of things going on, sometimes too many things, all at once.

prologic··on Show HN: I mapped every US golf course
How are you populating the dataset here? Anything we can to do help crowd source and contribute?
prologic··on Cloudflare's new AI traffic options for customers
PoW schemes like Anubis don't work. Increasingly bots are using headless browsers and are basically able to solve captchas, proof-of-work(s) and basically bypass all any any attempts to block them. It's becoming impossible to stop bots from hammering your sites/services for unwanted traffic.
prologic··on Humans haven't stopped evolving
If that's true. Why haven't we evolved into a species that doesn't harm each other or the environment?
prologic··on I scanned my AI agent framework for destructive/consequential actions, and wow
This tool doesn't seem to work very well. I tried to run it against my own harness that uses the Anthropic SDK(s) in Go and it turns up nothing. It doesn't seem to understand Go code?
prologic··on Show HN: I mapped every US golf course – 16k+ courses, free, no signup
Any plans to expand this to other parts of the world?
prologic··on LLM Usage in Debian: Three Proposals
Let's just put this argument to bed shall we? Let's consider another case. Leatherman pocket knives. It has a ~20% chance of cutting you, a 5% change of killing you if it pieces the wrong place in your body. I'm speaking from experience, where I sliced my thumb open (by accident of course!), but it was quite bad that I severed a nerve.

Needless to say, I don't feel compelled to take a moral or ethical stance on the use of such tools -- in this case; pocket knives and their inherent dangers.

Every time no matter how sophisticated or the no. of safeguards you put in place, can still inherently pose risks.

I'm not even arguing about food safety. Just think about the many restaurants that prepare and cook up the Japanese pufferfish. That's not even a tool problem right there, that's a skill and trianing problem. That shit™ will can can kill you if not done right.

prologic··on LLM Usage in Debian: Three Proposals
You may as well ban every technological advancement in society then. There are risks to everything we do, build and support. Ban 'em all! Let's go back to the dark ages where everything is safe!
prologic··on LLM Usage in Debian: Three Proposals
Yes. this I agree with. It's teh same thing many corporations like the one I work for are doing as well. Expecting and mandating that even if you use these so-called "AI" tools. that you are a) responsible and b) accountable for the "work".
prologic··on LLM Usage in Debian: Three Proposals
This has nothing to do with copyright status or copyrighted works. If it did, Debian wouldn't even be a thing. You can't be a puritan about this; How much of Debian can one say, hand on heart, is truly not inspired, or influenced by other people's work, copyrighted or not.
prologic··on LLM Usage in Debian: Three Proposals
That's just it though. The tool(s) aren't necessarily defective. Just because you can chop off your own hand with an chainsaw or do a botch job of sawing a plank of wood because you weren't watching what you were doing with the electric saw, does not by itself make the tools (Chainsaw, Electric Saw) defective.
prologic··on LLM Usage in Debian: Three Proposals
This set of proposals, are (sorry) just stupid. It's like saying to someone, you are not allowed to saw wood using an electric saw, you must do it by hand. What are we doing here?! LLM(s) are just a tool. Use it as such. You should own the work anyway.
prologic··on If coding has been solved, why does software keep getting worse?
Software has neither gotten worse nor become any better. All you're seeing is the cost of writing code approach near zero. As that happens the speed at which you see defects increases. Software is by its very definition "malleable". It is without (or very few) constraints. So it is very hard to get "prefect". That is why IMO Site Reliability Engineering will be one of the few fields that will remain, because until we build an _actual_ goodness to gracious Intelligent System that can think critically, including how systems can fail (which includes humans), software will be what is hat always been "soft".
prologic··on Advertise in ChatGPT
Same. I'm horrified, but also not surprised.
prologic··on Advertise in ChatGPT
wut da actual fuq?!
prologic··on What AI did to stackoverflow in a graph
The Irony here is what Hacker News did to this page. 503 Service Unavailable :D
prologic··on MoonBASIC: A modern BASIC for building 2D and 3D games
Not really. Like you I also started coding in BASIC at an early age, though I'm 10 years behind you in "age" but probably 10 years ahead of you, only because I grew up in a 3rd-world country where we ourselves were behind the rest of the 1st/2nd nations

That being said however, no, i don't feel like I've lost the "spark" at all. Sure, I no longer care that much about the "writing of the code" itself, but you just end up shifting your focus to the creative side of thigns, content creating and driving.

That's still interesting. AI can't (yet?) replace this.

prologic··on Linux 0.11 rewritten in idiomatic Rust, boots in QEMU
I just compared this Rust implementation against the original C sources. Some ~50k SLOC (Rust) compared to maybe ~8-12k SLOC of C (depending on if you count headers). Why is the Rust implementation so much more complex and onerous?
prologic··on Show HN: Build offline-first web apps in pure Go and HTML
Let me know how it goes! I have 3 quite successful aps built and in production using Swag now and it's pretty great DX (DevEx) and UX.
prologic··on A tiny shared Linux system
Hah! Thanks for whomever posted this. This is my little baby/project and I'd like to share a little about it... Quite some years ago (before all this AI Hype) I ventured on trying to deeply understand how Linux containers worked. At first I built a shell script called `box` that used the Busybox `unshare` utility to create little isolated namespaces/cgroups where you could "box" your little program on the root file-system. Later on I decided to write box in Go.

box now is basically a fully capable lightweight daemon-less container runtime, much like podman (but no rootless, not yet). Along with another project I also wrote called sshbox that is basically an SSH reverse prox; are what powered mbox.blue

mbox.blue is basically an experimental shared Linux system based around the core idea of persisetnt containers. All home grown.

prologic··on Moving Beyond Containers – Introducing Boxer by Daniel Phillips WASM I/O 2025 [video]
I always thought this was WASM "value add" -- The "virtual machine" of the browser (although we had this back in the day with Shockwave, Flash and Java applets too hmmm :D)
prologic··on Moving Beyond Containers – Introducing Boxer by Daniel Phillips WASM I/O 2025 [video]
This kind of reminds me of the days when Java™ was popular. I agree, if we're pushing to build software to target another machine (WASI) have we really improved anything?
prologic··on You cannot have our user's data
I'm one of those people. I think it comes down to the intent. There is an implicit good will of those that do this that the data isn't abused or the infrastructure behind it overwhelmed (self-hosting). "Big Tech" just make this worse, because their motivations aren't the same as ours (small web).
prologic··on Anubis Works
Not yet unfortunately. But if you're interested, please reach out! I currently run it in a 3-region GeoDNS setup with my self-hosted infra.
prologic··on Anubis Works
I was planning on building a Caddy module for Anubis actually. Is anyone else interested in this?
prologic··on Anubis Works
I would be interested to hear of any other solutions that guarantee to either identity or block non-Human traffic. In the "small web" and self-hosting, we typically don't really want Crawlers, and other similar software hitting our services, because often the software is either buggy in the first place (Example: Runaway Claude Bot) or you don't want your sites indexed by them in the first place.
prologic··on Anubis Works
This is true. I had some bad actors from the ComCast Network at one point. And unfortunately also valid human users of some of my "things". So I opted not to block the ComCast ASN at that point.
← PreviousPage 4 of 5Next →