skysight-inc/HackerNews huggingface dataset:
The title really is the thesis. But the author backs it up with opinion.

Like many of these articles, the author seems to apply all these adjectives that impute intent. No technology is "inherently oppressive" nor is any technology "ruthless" because machines themselves have no intent. I believe this anthropomorphic sleight of hand is deliberate because the author does get around to changing the topic to "machine-assisted ruthlessness."

He might as well say that "tools are inherently oppressive" because any tool can be used by oppressing humans to enforce their own oppression or ruthlessness. This is the same as opining that knives are inherently violent. The argument is illogical, and an appeal to emotion.
> Prolog is not suitable for any problem domain, although this is more readily apparent for some domains than others.

Fuckin' A.
> Sometimes I wonder if it's the money per se, or what brings in the money, or both.

There is a correlation between age and happiness. People of retirement age are generally happier than people in their forties. It's probably safe to conclude that retired people are happier than they themselves were when they were working. Even though they will have less income. So yes, what brings in the money matters: Not having to work makes you happier. Presumably the wealthy group correlates with not having to work. Or maybe only working a CEO-level job that consists of golfing with business partners and leaving the rest to others.
I've actually been thinking about this quite a bit. I remember a foray into prolog when I was a younger pup in 2004-6. With the Advent of llms, I think that perhaps we could use llms to extract triples from large corpuses of text and then use that to build our prolog stores or ontologies and work on them. I haven't really experimented much with it but you saying this has reminded me that I should dig that back up again.
For the purposes we're discussing, they're nowhere near competitive with Nvidia.
If LLMs suddenly appeared right now and you didn’t have the benefit of hindsight into their internal workings you wouldn’t describe them that way today either, even if it is factual.
> you better actually use IOMMU

Is this feature commonly present on PC hardware? I've only ever read about it in the context of smartphone security. I've also read that nvidia doesn't like this sort of thing because it allows virtualizing their cards which is supposed to be an "enterprise" feature.
> I love long takehomes.

I am happy that you are full of life and joy with programming. I genuinely want you to keep that, it is precious. However, they are getting free labour from you, so just keep that in mind.

For me, I can't do that anymore. I just can't muster up the energy to work on problems for something thats not going to be taken seriously by the "client"
The brand that sells is the brand at fault.

Securing it or knowing to secure it or testing it or never releasing it until it was secure is all things that are with the brand making the sale.
Dynamically loaded extensions in Postgres in the browser
And you know this based on what? To me it seems the opposite is true. If you have the means, it's more likely you'll do something. If it's too complicated, you might just give up, or not even have a thought that you could do something like that. Opportunity makes a thief.
if it's broken, sure. but any broken sewage system is hazardous. if it's working as described it sounds completely safe
Here is at least 1 - https://en.wikipedia.org/wiki/Stanislav_Petrov
https://github.com/roleoroleo/yi-hack-MStar

https://github.com/alienatedsec/yi-hack-v5
When I worked for an online travel agency a decade ago (now just a brand for you-know-who) we got lots of nasty emails about Spirit Airlines, as they were always the cheapest option in our flight booking, but after you booked you found out all the extra charges they required, none of which were given to us to add in the total price. So the price we showed was not the price you would likely ultimately pay (we always joked internally that they charged for air to breathe). But we got all the grief. Also, they had their own flight reservation system, and it was dog slow (at the time it could take more than a minute to make the actual booking).
tl;dr: Send an email message with a carefully crafted file attachment. Triggers a parsing bug (presumably a buffer overflow). Attacker could cause several bad things, including adding a root user. Yikes.
That’s easy to prevent:

Disallow the use of breached passwords - whenever a password change occurs check against e.g haveibeenpwned.
No need to remember past passwords (which is another security risk btw if you ever get breached it will leak all passwords the user ever had).
If a single point matches the curve equation of a well-known curve then that’s pretty compelling evidence.
Those 0s in front of the year really tripped me up... I thought it was some obscure date format.
not for compressed point representations (hence "depending on format")
It would be a great post to see how they detect such things in AI.
You are clearly not looking for JavaScript or fullstack jobs. The more senior you get has less relevance to product delivery and more relevance to tool chain nonsense. That means if get great at product delivery you are no longer compatible with the job market, as in you have walked off the bell curve.
Even in truth there are grey areas. You read a scientific paper and discover a serious error in a side topic the paper only had a short digress about. Would that invalidate the whole thing?

And where do you draw the line of invalidating errors and not so important errors (Sorites Paradox)?

This said, there are cases where a contradiction undermines the whole thing. I am a legal and one law professor warned us students, if we say A is valid but not A as well, he will dismiss the complete answer.

Once I got a contradictory information from a government agency and I was forced to follow up with a request for clarification. That's bad.
If the Ganymedians got angry and attacked us, that would be a great scientific advancement.
I was 7 years old when I made my first website too.

Back then, i remember my dad was having trouble using Dreamweaver. I went to try and help him, and found that using Dreamweaver was more fun to me than playing with my XBOX or PS1
If you are working 60h/week then you need to ensure your pay is set accordingly. The issue isn't 60 hour weeks. The issue is are you being fairly compensated for giving up that much of your life.
They argue that open end-to-end encrypted standards cannot be developed by industry consortiums which seems to be true.
It is prep game. You train all common interview questions, do mock interviews with friends, prepare answers for common culture fit questions, research company interview process online, tailor cover latter and ask people for recommendations from previous jobs.

What people do instead is spray and pray CVs and hope that hiring manger uncover their brilliance under surface level incompetence.
By “come a long way” do you mean “now exists and has already been commoditized”
I've found it very difficult to mentor people working remotely.
I was going to comment a similar sentiment regarding pacman. Having played with a few distros before swapping from Windows to Arch full time last year, pacman was trivially similar to other package managers.
Was it developed by an industry consortium though? It seems like it was created by a single company.
Ask HN: Whats it take to get someone to pay for your product? (help)
Hello everyone. After making 6 different apps and realizing that none of them are going to attract tons of users on their own, I decided to challenge myself this week to get 100 organic downloads for my paid (1 dollar) iOS game, Imagine Storiez.

The issue is that no matter what I try, I can't seem to get in front of my target audience. I am using every social media, making engaging reels tracking my progress to raise awareness, and blogging as well. But I just can't seem to get in front of the right people.

If anyone has experience successfully getting paid downloads without spending money on ads please advise me on how I can finish the challenge and get 100 downloads by the end of the week..

I have added links to my Medium article and the app down below for reference:

Link to app: https://apps.apple.com/us/app/imagine-storiez/id6497486404
Link to article: https://medium.com/@tech_talk_/best-ios-game-for-whole-family-and-how-i-am-trying-to-get-100-organic-downloads-this-week-a882eb34afe1

Thank you!
Thanks for the considered reply.
Where do you live? In the US (private sector), I've seen people get let go pretty regularly. When they can't let them go (like if it's government), I've seen people put them on the job that no one cares about and no want wants to be on.
Almost gave myself a seizure trying to scroll down.
I do see a connection here to how companies have been increasingly becoming hyperfocused on specializing what they perceive as their core domain, and outsourcing absolutely everything else.

It used to be that companies owned, and were proud of, their own headquarters, employed all the support functions personnel and so on. Contrasting janitors to CEOs is common trope, but who employs janitors anymore?

While this change has been economically incredibly profitable, I suspect there might be some long-term issues that crop up.

How does this relate to FOSS? In a sense software maintenance is lot like janitoring, and I do think one way of making the ecosystem healthier would be if companies would have larger in-house software divisions. So for example instead of the likes of Ford or Walmart paying to MS (or IBM) for stuff like Office suite, they would just have in-house teams working on LibreOffice.
Paychonautwiki has been classifying effects in a somewhat similar fashion for years/decades now: https://psychonautwiki.org/wiki/Geometry
The Art of Environmental Storytelling in Riven: The Sequel to Myst
I tested wayland for a while to see what the hype is about. No uoside lits of small workflows broken.
Back to Xorg it was.
Compared to a plain text editor, no. Compared to documentation + Access hybrids, I'd say it was good enough. The lack of true offline support has always been a big downside.

And by fast I mostly mean, when you did a / command, the menu came up quickly. Now it's stuffed with so many options as to be useless.
'Lenihan himself mentioned in a 2009 interview that the National Road Authority "were forced to bend the road a little bit around the bush, which they did, which is fine. There was no need to demolish the bush at all. Just adjust the road a little bit and landscape the bush into the roadway"'
You can use https://logtalk.org for oop in Prolog, use it on top of SWI and you have bidirectional bridges to Python an Java

https://www.swi-prolog.org/FAQ/Python.md

https://www.swi-prolog.org/pldoc/doc_for?object=section(%27p...
"...but today that's common in American universities."

That's correct and to some extent it's had a deleterious effect on education. The primary problem however is that money—the finances of education—has become as important or even more so than education itself. 50 years ago education had more intrinsic worth that it does today. Well, anyway, it did with those who controlled the politics and thus the pursestrings.
Shameless plug: you should check out my podcast The Search Space for a view of the broader landscape of Prolog and logic programming: https://thesearch.space/

I don't publish episodes often but I have a lot of good interviewees lined up :)

In general, I would advice you to look beyond Prolog and explore Answer Set Programming, the Picat language, and the connections between logic programming and databases (SQL, RDF or otherwise). Not instead of Prolog, but in parallel. Prolog is awesome!
We have a law that somehow covers this in France. It is permitted to use a metal detector for leisure provided that it is not a search for archaeological objects.

However, this law can be interpreted from many angles, as it is difficult to define what is archaeological or not. There are certain associations which defend “leisure detection” as long as it is not located on a registered archaeological or historical site. But their point of view is not shared by archaeologists, who consider that any place can be considered an archaeological site, relegating leisure detection to fine sandy beaches.

In this context, case law says that there are no completely accidental archaeological discoveries with a metal detector.
It is funny because I was just watching interview with a right wing think tank, "American Compass", and they were very distinctly anti-tech, advocating to limit tech companies.

So which is it, are Republicans Pro-Tech or Anti-Tech, members of the party advocate both directions. So which way will they actually lean if voted in.
"Money above everything"
I fail to understand why there are so many companies that only do software.

Most of software being made is associated with something else that is not software.

Software engineer don't need to be skilled at writing software, they need to listen to non-software people to help them.

I would call it software-centrism.
For employers they’re desired, H1Bs are taking a lot of abuse and rarely leave because they’re tied to the job. And are paid a lot less so company saves $$$
ASP is in another uni course of mine ;). I'll check the podcast, thanks
I would assume for the prices SAP charges, it mah start as some kind of bulletin of how to properly secure the AI, and failing that a feature update to tighten some defaults.

But a security fist to a leaky side door? I’d bet that upsets some customers.

Many of these accounting systems are starting to sell AI to automate transactions, which may explain the read+write nature of the access described in the comments.
Thanks for the Sound of Music song bomb, that’s definitely going to be stuck in my head for the rest of the day!
Why SWEs aren't required to document their process of problem solving? Like "I have problem X, I intend to solve it in that way, first thing I did is google that shit, found this article, compared those libs, picked that one because these and these reasons, etc.". Yeah, it can be painful and unusual first time but when it's mandatory it can make probably the best habit a professional can have.

This would help everyone from SWE itself (by tracking problem solving process) to his manager, colleagues and everyone who will work after and it's a ready draft for a blog article that'll say more about them than any CV.
Where I live it's more palatable 1/22k/year, and a lot of that are thrill seekers on motorcycles, drunk drivers etc.

More importantly, driving a car gets me where I want to be, not just triggers an unexpected condition bug in my brain.
If computers and machines are inherently oppressive for the reasons stated, then so is all of existence. The cosmic machinery that governs these computers is really at the root, and that machinery’s “ruthlessness” extends beyond modern technology.

The “sinister ruthlessness” the author projects is also observed on a much broader scale in nature and isn’t limited to human-made machines.

I think there’s a very important conversation to be had about the role of technology in our lives and the ways that it can be harmful. But I don’t believe that anthropomorphizing it, assigning terms like “sinister”/“ruthless” or viewing it as “inherently oppressive” moves that conversation in a useful direction.
It's all a guess.

You need to find a job where you're happy and that pays well. You don't really know ahead of time whether you'll be happy (or even really what makes you happy) and, if the pay includes any upside, you don't know whether you'll be paid well or not either. The universe of available jobs depend on which teams were hiring at the time you were looking.

A lot of it comes down to luck.
Could you explain more or point out some interesting references? I'm currently trying to understand how Datalog compares to SQL and, potentially GraphDBs
Reverse Brain Drain? Exploring Trends Among Chinese Scientists in the U.S.
We need more air conditioners because of global heating - a problem exacerbated to some extent by air conditioners themselves
Human genetic engineering
sounds like somebody's got an education coming up!

with a cassette toilet, you can take out the cassette, roll it down the sidewalk to someplace with a conventional bathroom, and dump the cassette into the conventional bathroom's toilet; then flush. then you walk back to the rv. some people have tote bags for their cassettes to keep this subtle. this is needed a few times a month

blackwater tanks last a great deal longer, months, but at that point yeah you need to go somewhere with an rv dump station. better get the engine running by then. this is one reason blackwater-tank rvs are practically unknown many places

with a composting toilet, your dried poop and composting medium is just another trash bag to take out, about once or twice a week. if you've never used one, you'd assume it stinks, but generally it doesn't. (pee goes in a separate bottle, which you need to empty every day or two.) logistically this is a little bit more work (you have to get the composting medium from somewhere, and if you gather it in the forest, you need to make sure it isn't going to hatch ten thousand crickets to greet you the next time you have to poop) but it's a great deal less risky than having a bottle of raw sewage
A while back this kind of experience in an interview was a gift as in you don't want to work at that place and they just told you this clearly.

But now maybe things are getting more real and you just need to eat.
Cool! I’m experimenting with something like this that uses docker containers to ensure it’s sandboxed. And, crucially, rewindable. And then I can just let it do ~whatever it wants without having to verify commands myself. Obviously it’s still risky to let it touch network resources but there’s workarounds for that.
Who is making $3 million/yr at Google ?

A Google L9/M3 makes $2 million/yr (per levels.fyi). I feel like a sucker, but I don't know a single person who's made L9/M3 at FANG before 30, and wasn't also the shining star of their Ivy-league CS class or the slimiest ladder climber I've set my eyes on. The exceptions are acqui-hire startup founders, but again, that's just amortized compensation as part of acquisition package. High risk - high reward.

I have close friends at Deepmind/ FAIR and even they don't make more than a million. I'd say Nvidia and OpenAI folks are the only exception, and both were anomalous one-time spikes. (HFT is usually not considered part of the tech world per-se)
Yes, it would be nice to live in a world where fizzbuzz wasn't necessary to filter for evidence of claimed qualifications (although, if fizzbuzz is taking half of a multi-hour experience, it's not being used correctly).

My point being, "programming qualifications" are just words anyone can put on a page.
Hopefully, we get a plain and simple C99 user space vulkan implementation.
When a real thread is allocated from a virtual thread to another, the JVM needs to save into the heap the stack of the first virtual thread and restore from the heap the stack of the second virtual thread, see slide 13 of [1]. This is in fact called mounting/unmounting as already pointed out, and occurs via Java Continuation, but from the JVM perspective this is a context switch. It's called JVM and the V stands for Virtual, so yes, it's not the kernel doing it, but it's happening, and it's more frequent the more virtual threads you have in your application.

[1] https://www.eclipsecon.org/sites/default/files/slides/JavaLo...
It's a made up example to clarify whether I understand potential congestion scenarios and limitations correctly, not my actual situation.

If I had a server with 100 cores to serve 100 connections, but each query took only 5ms, SQLite might be totally viable. There's no blanket solution.

Edit: More importantly, SQLite async limitations come into play when I have only 12 cores but 100 incoming connections, and on top of querying data from SQLite, I do have other CPU bound work to do with the results. If I had 100 cores, 100 connections to the database would be no problem at all since each core could hold a connection and block without problem.
You are definitely on to something here. OOP has some common roots with formal ontologies and knowledge representation (not so much the programming languages, but object oriented modeling). OO fails at this for various reasons, whereas logic is tailored for this specific purpose. Check out ErgoAI (formerly Flora-2), it's the most advanced Prolog flavor for representing and reasoning over knowledge. https://github.com/ErgoAI
It was fine when it was smaller illustrators having there work copied by AI why has Figma had to rush out this change because it's Apple?
This is what this AI is supposed to do get you close to a framework design quickly if your app is popular this is going to happen.
Well, I don’t think of it as true AI, of course. But even LLMs can be extremely useful in their own way. I happily pay for them; there have been times (like today) I feel they paid for themselves in a single response!

They’re not culture level Minds, sure, but they can still help massively in the right situation.
I don’t see why they need to have a worker and a shared worker .. couldn’t they run the sqlite in the sharedworker directly?
> This attitude of "be happy our bubble isn't as bad as the other bubbles" is a tragedy.

Its not really what I meant.
Being a bit more stoic about life (which is what I suggested before without using the term Stoic) doesn't mean you don't care about other people's suffering or that you won't do anything to help. In fact the opposite, a part of being stoic is looking at the ugly parts of life and dealing with them.
And its also very much about reframing whatever difficult moments we all have with the appreciation that for most of us things usually can be so much worse. You are probably not dying of cancer, you don't live on the streets etc. To ruminate about those facts every now and then is to me a healthy habit and not a selfish act.
Not to mention pacman is way faster than the others. dnf is close but apt is unbearably slow once you've used pacman
Homomorphic Genomic Adventures with Zama
My professor swapped Prolog out for Rust at the last minute. I don't know whether he did us a disservice or a favor.
> computers are a very important form of technology. Without it no websites, no Roblox studio, and no nothin. Without computers used have to use tablets. Tablets aren't very useful. Well to do stuff Computers can anyway.

Come on, Apple. A seven year-old gets it, why can't you? Let iPads run MacOS.
There are some benchmarks here of SWI Prolog's benchmark suite on diffrent Prolog systems by Jan Wielemaker the SWI Prolog author:

https://swi-prolog.discourse.group/t/porting-the-swi-prolog-...

He finds Scryer performs worse, which he does comment on, he also explains some tradeoffs and historic choices in SWI's design which affects its performance. I think I have seen the author of Scryer saying that's not surprising and Scryer is still building up core functionality where SWI has had 30+ years to optimise, but I don't remember where I read that.

SWI has a document explaining some strengths and weaknesses regarding performance: https://www.swi-prolog.org/pldoc/man?section=swiorother

Edit: some discussion on Scryer previously on HN: https://news.ycombinator.com/item?id=28966133
At the end of the day "practical" means library support and community knowledge, by which measure Prolog and more specifically SWI and Sicstus are far more practical than any of the other logic languages or implementation options
I would really appreciate any feedback, ideas, or comments in general. Thank you.
Dyson OnTrac Headphones [video]
Agreed. Being in an MRI sounds like you are in the middle of a warzone. With constant sounds that sounds somewhat like gunshots. That would be pretty terrifying on shrooms.