skysight-inc/HackerNews huggingface dataset:
Is there any need to look at this generated Prolog code?
I always thought that Prolog is great for reasoning in the semantic web. It doesn't surprise me that LLM people stumble on it.
I stopped reading after this: "PGP is an insecure [1] and outdated [2] ecosystem that hasn't reflected cryptographic best practices in decades [3]."

The first link [1] suggests avoiding encrypted email due to potential plaintext CC issues and instead recommends Signal or (check this) WhatsApp. However, with encrypted email, I have (or can have) full control over the keys and infrastructure, a level of security that Signal or WhatsApp can't match.

The second link [2] is Moxie's rant, which I don't entirely agree with. Yes, GPG has a learning curve. But instead of teaching people how to use it, we're handed dumbed-down products like Signal (I've been using it since its early days as a simple sms encryption app, and I can tell you, it's gone downhill), which has a brilliant solution: it forces you to remember (better to say to write down) a huge random hex monstrosity just to decrypt a database backup later. And no, you can't change it.

Despite the ongoing criticisms of GPG, no suitable alternative has been put forward and the likes of Signal, Tarsnap, and others [1] simply don't cut it. Many other projects running for years (with relatively good security track records, like kernel, debian, or cpan) have no problem with GPG. This is 5c.

[1] https://latacora.micro.blog/2019/07/16/the-pgp-problem.html

[2] https://moxie.org/2015/02/24/gpg-and-me.html

[3] https://blog.cryptographyengineering.com/2014/08/13/whats-ma...
I hope Google never kills it. It is a useful tool. But then whatever Google killed was useful too.
Some of the worst advice I've gotten in my life was to 'just ignore' verbal bullying/jokes in group settings. I mean in a way it worked no-one bothered me much because I would just dead-face stare so it was boring to engage with me, and to be clear it was never very severe, but I think the more correct response is to realize that it's just a game of social competition and you should learn to participate in some way or another.

You absolutely see this more in males who are very happy and actually want to compete in public group settings, whether verbal, physical, or something mental like chess or programming, depending on your disposition. There is a reason for this which is pretty obvious, but the other side of that is, privately, out of the public eye, before or after, grudges won't be held and things can be shared.
What are your predictions on how H1B visa holders will be impacted if Trump wins the election?
I believe the article you linked to doesn’t seem to say anything about “nobody verifying PGP signatures”. We would need PyPI to publish their Datadog & Google Analytics data, but I’d say the set of users who actually verify OpenPGP signatures intersects with the set of users faking/scrambling telemetry.
I absolutely do use software written in rust and I do so because of its superior feature set or user experience. The fact that it's written in rust has so relevance to my interest in new software. If the defining feature is something that rust is known for like memory safety then say that in the headline instead.
There’s a normal, human generated podcast called Deep Dive: AI (https://deepdive.opensource.org/). There’s also a confusingly similar named podcast Deep Dive AI that appears to only have one episode and is NotebookLM generated. Which one are you referring to?

Edit: If I'm understanding it correctly after some googling, supposedly the "name" of all podcasts generated by NotebookLM is "Deep Dive"? That's just confusing.
GLP-1 drugs don’t make you burn fat, they make you eat healthy (or healthier, at least). That’s why they’re so amazingly effective and the reason why is even more amazing - they hack your reward subsystem.
Trademark is exactly supposed to protect the reputation of WordPress. If people confuse WPEngine for WordPress, and assume if WPEngine doesn't have it, WordPress doesn't then that's damaging to WordPress. Except that WordPress doesn't (and legally can't) claim "WP". I'd be frustrated.

This is like asking what is it a concern of McDonald's if you open up your own restaurant call McDonald in your town and make it a dump
Your engine would only mate once it had y options to mate.
I was using this yesterday. I dumped all postmortems for an aspect of our infrastructure into a notebook and could then ask it to pull out common themes. It was remarkably effective. I also generated one of these "audio overviews" (aka podcasts) and it was great.

There was a vast improvement in quality from giving it a prompt when generating the overview. The generic un-prompted overview was for entirely the wrong audience, in our case users of our infrastructure rather than the developers. When instructing it to generate an overview for the SRE team and what they should focus on it was far better.

Was it useful for our in-depth analysis, no. Would I listen to one based on the last 100 postmortems for a new team I joined, absolutely. As an overview it was ideal, pulling out common themes from a lot of data and getting some of the vibe right too.
Also attention. Lower level human players are more likely to make a move close to their own/their opponent's recent move. They're focused on one area of the board.

Basic computer opponents on the other hand can make moves all over the place. They look at the board state holistically. This can be very frustrating to play against as a human who has enough problems just thinking their way through some subset of the board, but is thrown off by the computer again and again.

It's not that bad in chess at least (compared to Go), but still something worth to keep in mind if you're trying to make an AI that is fun to play against as an amateur.
I share this ideal, but also have to gripe that "descriptive test name" is where this falls apart, every single time.

Getting all your teammates to quit giving all their tests names like "testTheThing" is darn near impossible. It's socially painful to be the one constantly nagging people about names, but it really does take constant nagging to keep the quality high. As soon as the nagging stops, someone invariably starts cutting corners on the test names, and after that everyone who isn't a pedantic weenie about these things will start to follow suit.

Which is honestly the sensible, well-adjusted decision. I'm the pedantic weenie on my team, and even I have to agree that I'd rather my team have a frustrating test suite than frustrating social dynamics.

Personally - and this absolutely echoes the article's last point - I've been increasingly moving toward Donald Knuth's literate style of programming. It helps me organize my thoughts even better than TDD does, and it's earned me far more compliments about the readability of my code than a squeaky-clean test suite ever does. So much so that I'm beginning to hold hope that if you can build enough team mass around working that way it might even develop into a stable equilibrium point as people start to see how it really does make the job more enjoyable.
Most people with T2D do not take insulin, it's only useful if your body cannot make a sufficient amount. In my case I have no need for it, the cells became resistant to the effects of insulin. 25% is probably a decent estimate.
n=3 but the other two haven’t been monitored for a year yet. Promising.
No, it doesn't work at all. Human mistakes are not at all like computer mistakes. Like -- blundering a piece in a 1-2 move combination will straight up never show up in the stockfish move tree, no matter what you set `y` to.
The Kelly criterion is almost never used as-is because it is very sensitive to probability of success, which is hard to know accurately and in many cases, dynamically changing. This is easy to see in an Excel spreadsheet. Changing the probability by even 0.01 percent can vastly shift the results. The article calls this out in the last paragraph.

The article mentions fractional Kelly is a hedge. But what fraction is optimal to use? That is also unknowable.

Finance folks, correct me if I’m wrong, but the Kelly Criterion is rarely used in financial models but is more a rule of thumb that says roughly if you have x $ and probability p, in a perfect world you should only bet y amount. But in reality y cannot be determined accurately because p is always changing or hard to measure.
Google shifts Gemini app team to DeepMind
Well done Israel !!!
Interesting. However WINE is not in this list: https://en.m.wikipedia.org/wiki/List_of_computer_system_emul...
The waiver is the only alternative to satisfying the 2-year home residence requirement but hardship waivers are tough. Do you have an attorney? I could recommend attorneys who focus on such waivers.
Immunology & autoimmune attack is still a wild country where discoveries are being made regularly and only a handful of people have even a rough grasp of the terrain.
Silex: Open-source No-code Website Builder
I am confused. Is WordPress trying to change the open source license to a more restrictive one? Suddenly trying to enforce some terms of the existing license that they never did in the past? Or is it an old fashioned legal dispute where each party says the terms of the contract mean something different?
I would give a limb to own a real Tempest arcade console. I cannot fathom how many quarters of mine the local box ate when I was a kid. To me, it was the best gameplay and graphics of the era.

The vibrancy of the color vector graphics made Space Invaders and Defender look lame by comparison.
If they were actually impressed by you, they would've probably hired you. If you can come up with a 3X MAU strategy in a single interview, then of course they'd want to hire you. Imagine what you could do in a single month!

Chances are some other part of the interview went wrong in a way you didn't recognize, and perhaps the same idea also was raised internally or by another candidate.

Not everything suspicious has a bad explanation. Sometimes reality is simpler.
An application I am developing for a customer needed to read constraints around clinical trials and essentially build a query from them. Constraints involve prior treatments, biomarkers, type of disease (cancers) etc.

Using just an LLM did not produce reliable queries, despite trying many many prompts, so being an old Prolog hacker I wondered if using it might impose more 'logic' on the LLM. So we precede the textual description of the constraints with the following prompt:

-------------

Now consider the following Prolog predicates:

biomarker(Name, Status) where Status will be one of the following integers -

Wildtype = 0
Mutated = 1
Methylated = 2
Unmethylated = 3
Amplified = 4
Deleted = 5
Positive = 6
Negative = 7

tumor(Name, Status) where Status will be one of the following integers if know else left unbound -

Newly diagnosed = 1
Recurrence = 2
Metastasized = 3
Progression = 4

chemo(Name)

surgery(Name) Where Name may be an unbound variable

other_treatment(Name)

radiation(Name) Where Name may be an unbound variable

Assume you are given predicate atMost(T, N) where T is a compound term and N is an integer.
It will return true if the number of 'occurences' of T is less than or equal N else it will fail.

Assume you are given a predicate atLeastOneOf(L) where L is a list of compound terms.
It will succeed if at least one of the compound terms, when executed as a predicate returns true.

Assume you are given a predicate age(Min, Max) which will return true if the patient's age is in between Min and Max.

Assume you have a predicate not(T) which returns true if predicate T evaluates false and vice versa.
i.e. rather than '\\+ A' use not(A).

Do not implement the above helper functions.

VERY IMPORTANT: Use 'atLeastOneOf()' whenever you would otherwise use ';' to represent 'OR'.
i.e. rather than 'A ; B' use atLeastOneOf([A, B]).

EXAMPLE INPUT:
Patient must have recurrent GBM, methylated MGMT and wildtype EGFR. Patient must not have mutated KRAS.

EXAMPLE OUTPUT:
tumor('gbm', 2),
biomarker('MGMT', 2),
biomarker('EGFR', 0),
not(biomarker('KRAS', 1))

------------------

The Prolog predicates, when evaluated generate the required underlying query (of course the Prolog
is itself a form of query).

Anyway - the upshot was a vast improvement in the accuracy of the generated query (I've yet to see a bad one). Somewhere in its bowels, being told to generate Prolog 'focused' the LLM. Perhaps LLMs are happier with declarative languages rather than imperative ones (I know I am :) ).
Regular exercise could reduce the severity of hangovers
Back when I was working on an L1, I continually lobbied my employer to apply for an H1B for me to give me more options in the event of losing a job, or even just the ability to change employer at all really. This is one of the most significant downsides of the L1 visa IMO, the options are comparatively limited/difficult if you do lose your job. Its biggest plus over the H1 is of course no lottery though, which is why employers that can use the L1 like it etc.

As I understand it, your employer can apply for the H1B lottery every year for you while still on the L1. Some companies will do this, eventually I did get the H1B I wanted back then. My colleagues on L1 all did the same thing too.
Distressingly few programming languages offer an acceptable implementation of units. It's a wonder we get anything done.

One of the hidden gems of Julia is that it performs multiplication by juxtaposition, so if you define a variable `m`, then `2m` becomes `2 * m`. That plus overloading and multiple dispatch enables a rather nice library, Unitful[1], which does a fairly good job there.

[1]: (Julia indexes by one) https://github.com/PainterQubits/Unitful.jl
> In the interview, Benioff also hyped up Salesforce’s new AI product, Agentforce
I wouldn't frame the tax parts like that. Just by having a green card, you are generally subject to the same worldwide taxation as US citizens, with only subtle differences.

Perhaps a bigger difference is that it's somewhat easier to abandon the green card than to renounce US citizenship.
Found the link https://mastodon.social/@mathewi@journa.host
This leaves out the perspective of the young black people who would have been the disproportionate target of police interactions.

Unfortunately, moderation within a biased status quo doesn't achieve the goal of eliminating the bias. Those seeking a radical change can't reasonably be faulted for using radical rhetoric, only for wanting to change something that's "working."
Sure: Let's begin by not starting the conversation with "Don't use Cloudflare", as you did. That's obviously not only unhelpful, but it clearly points the finger at the wrong party.
oh no. maybe you have in mind 'dolist or 'dotimes

'do is much more general and way more powerful. in some sense 'loop is the taming of 'do. see for example

https://www.lispworks.com/documentation/lcl50/loop/loop-7.ht...
Mirror without the Paywall: https://archive.is/HYGNK
Oh, cool, another HN-forged strawman!
Wayland Apps in WireGuard Docker Containers
I wrote the blog post in question. The claim that "nobody is verifying PGP signatures (from PyPI)" comes from the fact that around 1/3rd had no discoverable public keys on what remains of the keyserver network.

Of the 2/3rd that did have discoverable keys, ~50% had no valid binding signature at the time of my audit, meaning that obtaining a living public key has worse-than-coin-toss odds for recent (>2020) PGP signatures on PyPI.

Combined, these datapoints (and a lack of public noise about signatures failing to verify) strongly suggest that nobody was attempting to verify PGP signatures from PyPI at any meaningful scale. This was more or less confirmed by the near-zero amount of feedback PyPI got once it disabled PGP uploads.
We really need a vector editor that has some of the features of Flash's UI. I haven't seen them in other programs.
I could see visa issues preventing some people from taking it too...
Occupation is not tautological to colonization but occupation can be the first step to colonization.

> You said that a two state solution (which Palestinians so far have never agreed to) is just a continuation of colonization.

It is a continuation of the colonization. It is also something the Palestinians *have* agreed to, that's what the Oslo Accords are.

> On September 13, 1993, Israeli Prime Minister Yitzhak Rabin and Palestine Liberation Organization (PLO) Negotiator Mahmoud Abbas signed a Declaration of Principles on Interim Self-Government Arrangements, commonly referred to as the “Oslo Accord,” at the White House. Israel accepted the PLO as the representative of the Palestinians, and the PLO renounced terrorism and recognized Israel’s right to exist in peace. Both sides agreed that a Palestinian Authority (PA) would be established and assume governing responsibilities in the West Bank and Gaza Strip over a five-year period. Then, permanent status talks on the issues of borders, refugees, and Jerusalem would be held.

I'm fine with a 2 state solution if that's what the Palestinans want. My issue is that Israel is unlikely to follow the rules given their current behavior so why not just make it 1 state with equal rights? Is that really so scary? Equal rights?

But none of that matters because the first thing that has to happen before even a 2 state solution is a ceasefire.
If the author's goal is to live better rather than read about how to live better, I don't think the solution of reading make-believe fits. The same rejoinder exists: the author would be better served by actually meeting new people and learning from them rather than reading pretend.
They are not, necessarily. Especially when using commercial providers who may change models, finetunes, privacy layers, and all kinds of other non-foundational-model things without notice.
For the coin flipping scenario, what happens to the casino? Shouldn't they lose money in the long run as well? Or is it that they're under the kelly threshold with all the house cash?
Discussion (135 points, 1 day ago, 330 comments) https://news.ycombinator.com/item?id=41858863
> Employers should have to prove they were not able to find a U.S. citizen who can do the job before they're allowed to hire someone that needs a work permit.

Why?

It's their money and their business.

What business do you or I have in forcing upon them what they can do? any more than they would have any business forcing themselves upon us?
I love Inkscape as well. It took some getting used to at first, but now I can sketch things rather quickly with it. The lag on macOS and non-standard UI behaviors are really frustrating though.

For example, for the longest time, if you put the cursor in a text field and then hit cmd-A to select all text, it would interpret that to mean select all objects in the canvas instead. Another thing is that sometimes when I click and drag the corner of the window to resize it, the thing just won't budge. It takes several attempts before it actually works. Very frustrating, but it's open source and gets the job done for the most part, so it's very hard for me to move away from it.
Back in 1967 or 1968, my grandmother gifted me five or six Matchbox cars. As far as I remember, I was the first kid in my school to have the, and started off a huge craze among my friends. When Hot Wheels were introduced a year or two later, we saw them as flashy imitations, and I never had a Hot Wheel in my house until my wife started collecting them 30 years later.

One of those original Matchboxes was the bright red Jaguar XKE, a car I have never fallen out of love with (and managed to re-acquire a few years ago).
For me, the issue wasn't cognitive, but simply lack of access. The two languages that ran on my Sanyo MBC-550 were BASIC and Turbo Pascal.

Outside of expressions, those languages are essentially prefix in that the operator comes before the list of arguments.
When you say "it's a modern cultural problem", do you mean, as most people appear to mean, "This is not a social problem worth solving, these people deserve it for their moral failings, and their death is a useful example for the rest of us"?

Most people don't actually say it out loud, but this is all directly implied by the "personal responsibility" retort that is wildly popular among people who don't actually suffer from a given malady, in response to attempts to address it collectively.
Original point was that a forced move carries a financial cost, as home prices rise - this financial cost rises relative to income. This dynamic creates a disincentive for individuals to move due to the cost relative to income. If individuals are disincentivized from working on the highest impact projects they can - you'd expect an impact on economic productivity.

It's a large financial benefit to own a home, it's a massive cost to move for a job if that forces you to abandon home ownership in favor of renting. This cost would incentivize workers to work at jobs which don't make use of their skills or avoid jobs which could leave them in a career desert of a location.
There was actually a fully 3d platformer released for the system during it's production run, Asterix & Obelix XXL: https://www.youtube.com/watch?v=b0pknb4ghUA
Right! Cells larger than that stop working reliably and end up self-selecting themselves out of the future generations.

Now I wonder if internal structure of cells can be attributed to that too - i.e. organelles create zones where processes relying on fast random walk can work, enabling the cell itself to grow bigger.
Could you elaborate please?

What do you mean by capture output, like if i have
```bash
echo "hello"
```
hello would appear in the rendered markdown?
Yeah I still use pgp a lot. Especially because of hardware backed tokens (on yubikey and openpgp cards) which I use a lot for file encryption. The good thing is that there's toolchains for all desktop OSes and mobile (Android, with openkeychain).

I'm sure there's better options but they're not as ubiquitous. I use it for file encryption, password manager (pass) and SSH login and everything works on all my stuff, with hardware tokens. Even on my tablet where Samsung cheaped out by not including NFC I can use the USB port.

Replacements like fido2 and age fall short by not supporting all the usecases (file encryption for fido2, hardware tokens for age) or not having a complete toolchain on all platforms.
This is useful idea, will examine in detail
Most major employers have offices in EU, US, India etc. so the can just allocate racks in those countries.
s/Broken ankles are 100% manageable by not walking where you could slip and fall. If only today's society made informed decisions about their walking habits, we wouldn't need all these artificial casts and surgeries. How long does a cured ankle last till the lifestyle of walking around breaks it again?/
I think your forgetting one of the most important pros: an inalienable right to re-enter the country after going abroad.

Also a pro is that while traveling you have the services of the U.S embassy to you, which could be a life saver depending on what other citizenship you hold and the circumstances.
I’d be surprised if Amazon still gives an exit package if you failed a PIP.
That usually constitutes with cause.

I guess it’d depend on the state.
Orange cats sharing their one brain cell.
From one evil empire to another?!
Yeesh. Talk about out of touch. I’d really love to see one actual study showing that full RTO has benefits, vs this wishy-washy “I haven’t seen innovation with remote work” garbage.
Currently implementation is in python, since it is available in many places, but not all.

What would be pros and cons of implementing it in:

- bash/zsh
- keep in python
- rust/go
The generated programs are only technically Prolog programs. They use CLPFD, which makes these constraint programs. Prolog programs are quite a bit more tricky with termination issues. I wouldn’t have nitpicked if it wasn’t in the title.

Also, the experiment method has some flaws. Problems are hand-picked out of a random subset of the full set. Why not run the full set?