<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: pjungwir</title><link>https://news.ycombinator.com/user?id=pjungwir</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 24 Jul 2026 08:13:23 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=pjungwir" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[TQuel Paper: Implementing Temporal Operators in Postgres]]></title><description><![CDATA[
<p>Article URL: <a href="https://illuminatedcomputing.com/posts/2026/07/tquel-paper/">https://illuminatedcomputing.com/posts/2026/07/tquel-paper/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49002909">https://news.ycombinator.com/item?id=49002909</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 22 Jul 2026 07:12:24 +0000</pubDate><link>https://illuminatedcomputing.com/posts/2026/07/tquel-paper/</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=49002909</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49002909</guid></item><item><title><![CDATA[New comment by pjungwir in "Human mathematicians are being outcounterexampled"]]></title><description><![CDATA[
<p>When I was still much more skeptical of AI, I asked ChatGPT to write me a proof of the Goldbach Conjecture. Of course it didn't, but it gave me a several-screens-long research program for how one might get there, with a few alternate paths and what pieces are still missing from each one. Maybe it cribbed that all from some grad student's blog, but it was still pretty impressive.<p>A week or two ago I asked Claude Code to write a comprehensive testing plan for a new Postgres feature I wrote, UPDATE/DELETE FOR PORTION OF. I was a bit anxious about how many bugs were discovered as soon as it was merged this spring. Claude found some untested areas, then it wrote more tests for them. I'm not talking about LOC covered, but feature combinations. (I've been meaning to submit this as a followup patch. . . .) Fortunately it didn't find any more bugs.<p>I sense that testing plan has affinity with the findings in the OP, even though it is far more humble than research mathematics. Even better would be if we knew good ways to express invariants about Postgres's behavior, and then we could ask LLMs to violate them. I'm sure there are good ways already, and the "we" who is not knowing is not "all humans" but "the Postgres team" or just "me".<p>As a counterexample to the article (heh): even though Claude didn't uncover any new bugs, a human did, just a few days ago. Alas!</p>
]]></description><pubDate>Tue, 21 Jul 2026 17:10:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=48995162</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=48995162</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48995162</guid></item><item><title><![CDATA[New comment by pjungwir in "Looking Forward to Postgres 19: It's About Time"]]></title><description><![CDATA[
<p>I think yes. You're saying that the invoice is generated from other data in separate tables, and it should be immutable even if that data changes. So today you are copying everything used by the invoice.<p>That's exactly why I started learning about temporal tables. I had a customer whose app used questionnaires to measure the effectiveness of government social services, and they let people change the questions (and multiple choice options) even after there were answers! Obviously the data was trashed.<p>I've seen this bug over & over again, where you have a foreign key relationship, and the referenced table changes, but the referencing table needs the old data. Another example is a sale that doesn't capture the product's current price.<p>Temporal tables mean that you can run your 2022 financial reports and get the same answer you got before.<p>My own time-tracking and invoicing app has to solve this problem. I also "copy everything" when something changes. I just gave a talk about migrating it to temporal tables: <a href="https://illuminatedcomputing.com/pages/pgdata2026-migrating-to-a-temporal-schema" rel="nofollow">https://illuminatedcomputing.com/pages/pgdata2026-migrating-...</a><p>You'll have to decide if your use-case is more "system time" (history of the database) or "application time" (history of the entities). The features here are for application time. I want to make sure Postgres gets system time too, but it's not in v19.<p>If you want system time today, there are several widely-adopted Postgres extensions that can do that already. I cover them here: <a href="https://illuminatedcomputing.com/posts/2017/12/temporal-databases-bibliography/#tools" rel="nofollow">https://illuminatedcomputing.com/posts/2017/12/temporal-data...</a><p>And actually, application time is managed by you (while system time is managed automatically by the database), so really you can use it for whatever you want.</p>
]]></description><pubDate>Sat, 13 Jun 2026 14:31:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=48517712</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=48517712</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48517712</guid></item><item><title><![CDATA[New comment by pjungwir in "Looking Forward to Postgres 19: It's About Time"]]></title><description><![CDATA[
<p>In the Postgres version, you can use a rangetype or multirangetype over any base type (integers, inets, frammishes, etc). This is a generalization of SQL:2011, where PERIODs have to be on date/timestamp/timestamptz columns. I have ambitions to support non-range/multirange types as well, even user defined types, but I'll need to add a way for them to communicate a few things to core Postgres, like how to do intersect/contains/overlaps. I talked about that in my "roadmap" talk linked here if you're interested in details.</p>
]]></description><pubDate>Sat, 13 Jun 2026 00:15:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=48510897</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=48510897</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48510897</guid></item><item><title><![CDATA[New comment by pjungwir in "Looking Forward to Postgres 19: It's About Time"]]></title><description><![CDATA[
<p>For application time, everything lives in one table (although you could partition it). The biggest performance hit, I suspect, will come from GiST indexes instead of B-Trees. Some general GiST improvements are on my TODO list, and I learned at PGConf.dev that several other people already have patches for cool perf-related GiST enhancements.<p>For system time, a separate history table is a common implementation, sometimes also with partitioning. Here is what other vendors are doing: <a href="https://illuminatedcomputing.com/posts/2019/08/sql2011-survey/" rel="nofollow">https://illuminatedcomputing.com/posts/2019/08/sql2011-surve...</a></p>
]]></description><pubDate>Fri, 12 Jun 2026 20:51:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=48509304</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=48509304</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48509304</guid></item><item><title><![CDATA[New comment by pjungwir in "Looking Forward to Postgres 19: It's About Time"]]></title><description><![CDATA[
<p>Hey I worked on this!<p>Thank you to everyone here saying they are excited about it. I often hear doubts that anyone wants this. Perhaps that's why vendors have been so slow to add it. And thank you 'bonesmoses for writing about it!<p>We are still missing system time, but if no one else wants to work on it, I hope to tackle that soon.<p>I have a lot of other ideas for improvement beyond SQL:2011, too. Here is a talk I gave last month about my personal roadmap:<p><a href="https://illuminatedcomputing.com/pages/pgconf2026-temporal-roadmap/" rel="nofollow">https://illuminatedcomputing.com/pages/pgconf2026-temporal-r...</a><p>I've also been vibecoding a lisp REPL to play with the algebra of temporal relational operators (important for the planner): <a href="https://github.com/pjungwir/relsim" rel="nofollow">https://github.com/pjungwir/relsim</a><p>That overlaps with my attempt to write implementations for temporal semi/anti/outer-join and other relops: <a href="https://github.com/pjungwir/temporal_ops" rel="nofollow">https://github.com/pjungwir/temporal_ops</a><p>If anyone has comments about what you'd like to see, I'm happy for feedback!</p>
]]></description><pubDate>Fri, 12 Jun 2026 19:56:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=48508750</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=48508750</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48508750</guid></item><item><title><![CDATA[My Claude Code Setup]]></title><description><![CDATA[
<p>Article URL: <a href="https://illuminatedcomputing.com/posts/2026/06/my-claude-code-setup/">https://illuminatedcomputing.com/posts/2026/06/my-claude-code-setup/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48505773">https://news.ycombinator.com/item?id=48505773</a></p>
<p>Points: 11</p>
<p># Comments: 1</p>
]]></description><pubDate>Fri, 12 Jun 2026 15:57:53 +0000</pubDate><link>https://illuminatedcomputing.com/posts/2026/06/my-claude-code-setup/</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=48505773</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48505773</guid></item><item><title><![CDATA[New comment by pjungwir in "Claude Fable is relentlessly proactive"]]></title><description><![CDATA[
<p>Yes, I su to the user. Typically I have it run a tmux session for each "project". That makes it easy to get more windows without su'ing over and over. Also its tmux sessions all get a yellow status bar (in ~claude/.tmux.conf), so they are easy to recognize.<p>To me it is more convenient than a VM, since everything is on the host. And it can launch its own VMs without an extra layer.<p>I don't really know which is more secure. There are hypervisor escape vulns too. And shared folders seem like footguns. For instance in vagrant, guests get `/vagrant` to read/write the host's folder, so you have to be careful what you put where.<p>The biggest annoyance with an OS user so far is running docker containers. I don't want to add claude to the docker group or give it sudo privileges. I've read that you can set up rootless docker for a user, and even that you can run it side-by-side with a normal system-wide docker, but I haven't tried doing that yet.</p>
]]></description><pubDate>Fri, 12 Jun 2026 14:31:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=48504674</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=48504674</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48504674</guid></item><item><title><![CDATA[New comment by pjungwir in "Claude Fable is relentlessly proactive"]]></title><description><![CDATA[
<p>I know there are VM solutions, but I've been happy with a separate OS user (named `claude`).<p>He has similar dotfiles to mine, but no secrets. My own home directory is 0700. He has his own ssh key that I added to my github profile, but it's password-protected, and I push/pull for him. He has his own Postgres (non-superuser!) {development,test} {users,databases}.<p>It's as if he were another developer on the project. If he needs something run with sudo, he asks me. Often we can both work on something in parallel. Unix was supposed to be a multi-user system after all.<p>A trick I use a lot is that many of his git repos have an extra remote, like this:<p><pre><code>    paul  ssh://paul@localhost/~/src/example (fetch)
    paul  ssh://paul@localhost/~/src/example (push)
</code></pre>
That makes it easy to collaborate on things I'm not ready to share.<p>I'm pretty comfortable with this setup.<p>I do worry about Linux privilege escalation bugs. I don't trust an AI to understand that exploiting vulns is not acceptable. (I can't help but recall that at my first job I may have misused vim's :! feature to broaden my sudo powers, which were officially limited to editing httpd.conf, when I needed something in a hurry. . . .) I find myself manually upgrading packages more often these days, despite automatic security updates. I don't think Opus would go to the trouble of looking up security vulns, but maybe Fable would, and there have been a lot lately. Maybe some future model will just take it upon itself to find new ones. Or install a keylogger to learn the ssh key password.<p>But a separate user is nearly the most paranoid setup I've heard of, excepting only a separate machine. So I also question whether I'm sacrificing too much speed/convenience. But really it's still very convenient. I think it's a good way of being efficient but responsible.<p>If other people see holes, I'd be happy to hear about them.</p>
]]></description><pubDate>Fri, 12 Jun 2026 07:14:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=48500852</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=48500852</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48500852</guid></item><item><title><![CDATA[Autonomous Software Maintenance Has Arrived]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.tembo.io/blog/autonomous-software-maintenance-has-arrived">https://www.tembo.io/blog/autonomous-software-maintenance-has-arrived</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=44155600">https://news.ycombinator.com/item?id=44155600</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Mon, 02 Jun 2025 03:25:26 +0000</pubDate><link>https://www.tembo.io/blog/autonomous-software-maintenance-has-arrived</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=44155600</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44155600</guid></item><item><title><![CDATA[New comment by pjungwir in "Progressive JSON"]]></title><description><![CDATA[
<p>Does this scheme give a way to progressively load slices of an array? What I want is something like this:<p><pre><code>    ["foo", "bar", "$1"]
</code></pre>
And then we can consume this by resolving the Promise for $1 and splatting it into the array (sort of). The Promise might resolve to this:<p><pre><code>    ["baz", "gar", "$2"]
</code></pre>
And so on.<p>And then a higher level is just iterating the array, and doesn't have to think about the promise. Like a Python generator or Ruby enumerator. I see that Javascript does have async generators, so I guess you'd be using that.<p>The "sort of" is that you can stream the array contents without literally splatting. The caller doesn't have to reify the whole array, but they could.<p>EDIT: To this not-really-a-proposal I propose adding a new spread syntax, ["foo", "bar", "...$1"]. Then your progressive JSON layer can just deal with it. That would be awesome.</p>
]]></description><pubDate>Sun, 01 Jun 2025 12:26:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=44150370</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=44150370</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44150370</guid></item><item><title><![CDATA[New comment by pjungwir in "Dear sir, you have built a compiler (2022)"]]></title><description><![CDATA[
<p>I've seen this a lot when someone wants to add "workflow automation" or "scripting" to their app. The most success I'd had is embedding either Lua or Javascript (preferably Lua) with objects/functions from the business domain available to the user's script. This is what games do too. I think it's a great way to dodge most of the work. For free you can support flow control, arbitrary boolean expressions, math, etc.</p>
]]></description><pubDate>Sat, 23 Nov 2024 04:26:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=42219207</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=42219207</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42219207</guid></item><item><title><![CDATA[Solving bison shift/reduce conflicts in Postgres]]></title><description><![CDATA[
<p>Article URL: <a href="https://illuminatedcomputing.com/posts/2024/10/bison-shift-reduce-conflict/">https://illuminatedcomputing.com/posts/2024/10/bison-shift-reduce-conflict/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=41932536">https://news.ycombinator.com/item?id=41932536</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 24 Oct 2024 06:29:20 +0000</pubDate><link>https://illuminatedcomputing.com/posts/2024/10/bison-shift-reduce-conflict/</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=41932536</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41932536</guid></item><item><title><![CDATA[New comment by pjungwir in "Show HN: Mermaid ASCII Diagrams"]]></title><description><![CDATA[
<p>I've used [mmdc](<a href="https://github.com/mermaid-js/mermaid-cli">https://github.com/mermaid-js/mermaid-cli</a>) to generate mermaid images from a Makefile. It looks like it is implemented with puppeteer, so perhaps it doesn't quite fit your request. But if you just want something you can use at the cli, it is great.</p>
]]></description><pubDate>Wed, 16 Oct 2024 07:52:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=41856633</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=41856633</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41856633</guid></item><item><title><![CDATA[New comment by pjungwir in "Ask HN: Freelancer? Seeking freelancer? (August 2024)"]]></title><description><![CDATA[
<p>SEEKING WORK - Portland, OR or Remote<p>I'm a full-stack developer with 20+ years experience. My specialties are deep Postgres consulting, web development in Rails/Django, and devops with Kubernetes, AWS, Azure, Terraform, Ansible, etc. From time to time I've done projects in Javascript/Typescript (React, Vue, Angular, Node), Java, C#, C, Go, Rust, Elixir, Perl, etc.<p>I am reliable, easy to work with, quick to turn things around, and a good communicator. I can work solo or on a team, either as lead or a team member. I value client satisfaction as highly as technical excellence.<p>You can see some of my recent work here:<p><a href="https://illuminatedcomputing.com/portfolio" rel="nofollow">https://illuminatedcomputing.com/portfolio</a><p><a href="https://commitfest.postgresql.org/49/4308/" rel="nofollow">https://commitfest.postgresql.org/49/4308/</a> (Adding SQL:2011 application-time to Postgres)<p><a href="https://commitfest.postgresql.org/31/2112/" rel="nofollow">https://commitfest.postgresql.org/31/2112/</a> (Adding multiranges to Postgres)<p><a href="https://github.com/pjungwir/aggs_for_arrays">https://github.com/pjungwir/aggs_for_arrays</a><p><a href="https://github.com/pjungwir/aggs_for_vecs">https://github.com/pjungwir/aggs_for_vecs</a><p><a href="https://github.com/pjungwir/active_model_serializers_pg">https://github.com/pjungwir/active_model_serializers_pg</a><p>If you'd like to work together, I'd be happy to discuss your project!: pj@illuminatedcomputing.com</p>
]]></description><pubDate>Sat, 03 Aug 2024 05:17:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=41144820</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=41144820</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41144820</guid></item><item><title><![CDATA[New comment by pjungwir in "Divers discover Roman mosaic"]]></title><description><![CDATA[
<p>Nero isn't from the the late Roman Empire either.</p>
]]></description><pubDate>Wed, 31 Jul 2024 13:53:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=41119184</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=41119184</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41119184</guid></item><item><title><![CDATA[New comment by pjungwir in "Ruby methods are colorless"]]></title><description><![CDATA[
<p>Great article! I'm looking forward to reading the rest of the series.<p>I noticed a couple details that seem wrong:<p>- You are passing `context` to `log_then_get` and `get`, but you never use it. Perhaps that is left over from a previous version of the post?<p>- In the fiber example you do this inside each fiber:<p><pre><code>    responses << log_then_get(URI(url), Fiber.current)
</code></pre>
and this outside each fiber:<p><pre><code>    responses << get_http_fiber(...)
</code></pre>
Something is not right there. It raised a few questions for me:<p>- Doesn't this leave `responses` with 8 elements instead of 4?<p>- What does `Fiber.schedule` return anyway? At best it can only be something like a promise, right? It can't be the result of the block. I don't see the answer in the docs: <a href="https://ruby-doc.org/3.3.4/Fiber.html#method-c-schedule" rel="nofollow">https://ruby-doc.org/3.3.4/Fiber.html#method-c-schedule</a><p>- When each fiber internally appends to `responses`, it is asynchronous, so are there concurrency problems? Array is not thread-safe I believe. So with fibers is this safe? If so, how/why? (I assume the answer is "because we are using a single-threaded scheduler", but that would be interesting to put in the post.)</p>
]]></description><pubDate>Tue, 23 Jul 2024 20:38:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=41050544</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=41050544</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41050544</guid></item><item><title><![CDATA[Debugging the Sprinkler System]]></title><description><![CDATA[
<p>Article URL: <a href="https://illuminatedcomputing.com/posts/2024/07/raspberry-pi-sprinklers/">https://illuminatedcomputing.com/posts/2024/07/raspberry-pi-sprinklers/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=40963905">https://news.ycombinator.com/item?id=40963905</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Sun, 14 Jul 2024 23:08:43 +0000</pubDate><link>https://illuminatedcomputing.com/posts/2024/07/raspberry-pi-sprinklers/</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=40963905</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40963905</guid></item><item><title><![CDATA[New comment by pjungwir in "Leaked admin access token to Python, PyPI, and PSF GitHub repos"]]></title><description><![CDATA[
<p>How did JFrog know this github token was so powerful, compared to all the other ones I'm sure their scanner detects? What caused a human to get involved?</p>
]]></description><pubDate>Sat, 13 Jul 2024 14:44:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=40954408</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=40954408</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40954408</guid></item><item><title><![CDATA[New comment by pjungwir in "A reawakening of systems programming meetups"]]></title><description><![CDATA[
<p>If you add contact info to your profile, I will reach out. Or feel free to send me a note.</p>
]]></description><pubDate>Mon, 08 Jul 2024 16:51:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=40907031</link><dc:creator>pjungwir</dc:creator><comments>https://news.ycombinator.com/item?id=40907031</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40907031</guid></item></channel></rss>