skysight-inc/HackerNews huggingface dataset:
Absolutely yes. When I’m looking for jobs, or recruiters come looking for me, well over 90% of the opportunities I have to turn away right from the start because I’m morally opposed to the company.

Just a small sample of the thing I’m morally opposed to, finance, crypto, advertising, defense, anything that severely contributes to global warming (automotive, fossil fuels), gambling, for-profit medicine, anything that’s profiting from invading people’s privacy.

Somehow I’ve still managed to find jobs I find acceptable, but I also could have, and could be, making a lot more money if I didn’t have such a restriction.

I guess if I was in dire straits, I would take a job at an immoral place just to survive, but I’d be constantly looking to get out as soon as I got in.
I mean... if you multiplex disparate statements into the same connection and session then, well... yes, that is fraught with an incredible amount of complexity. That stuff's for OLAP, read-only replica servers and so on. High-throughput "hey I just need this one thing."

Your large-scale app probably won't need that by default. You pool connections in pgBouncer (or your application) because they're slow and expensive to set up. If you run a standard N-tier architecture and you have fifty 'backend apps' (say web apps) that talk to a communal PG server, you want pgBouncer to avoid connection churn. If your scale's a lot smaller than that then you don't need pgBouncer and you can get by with your app pooling a handful of conns --- subject to the usual vagaries that come with hand-wavey explanations. Measure, monitor, etc.

It's an interesting and illuminating article, but the take-away is don't do weird statement-based transaction multiplexing unless you know exactly why you want that!

If you're running into "connection limits" on Heroku or whatever... maybe now is the time to stop letting other people manage your DB and just run it yourself? You're clearly big enough to run up against that.

Or, maybe, release your session back to the pool (app/bouncer/whatever) instead of sitting on it. For OLTP stuff like 99% of all web apps, that's key. With 100 connections and a p99 request-response cycle with DB hits being <50ms, you can handle a lot of traffic.
There's two ways it helps drive prices down:

1. Lowers manufacturing costs. If there were a Law of Manufacturing it would be this: the less differentiation among the widgets, the more cheaply the widgets can be made. That thinking was behind Ford saying you could have any color you want, so long as it's black. Note this doesn't just affect assembly, it affects the supply chain as well. Your supplier only has to provide one kind of seat. The company making the heating units can crank more out and reduce the unit cost of each.

2. Increases supply - which reduces cost. As I said above, heated seats can be sold as an option. Any owner of the car can buy the option at any time. That increases the supply of cars in the used market. If I want a car with heated seats I can buy the model where that feature hasn't been enabled and enable it myself.

You mention you can't pick and pull the hardware. There's nothing in principle preventing that. All the hardware is the same. If for some reason your seat were to become damaged, you don't have to look for a heated seat. Any seat will do. If BMW is doing anything to prevent that then they're going to run afoul of Right to Repair laws.
It is a bit insensitive to call people who had problems with drug abuse idiots.

Not only insensitive but also very simplistic and wrong point of view. A lot of drug abuse is basically people trying to self-medicate psychological issues, trying to have a escape from oppressive life conditions, or trying to fit in with a crowd due to loneliness and self esteem.

Considering how much of our work is destroying people’s jobs or making their lives a bit more miserable we should at least try to be a bit less judgmental.
What we need is an oracle machine LLM that spits out barely intelligible high-philosophy dialectic so we can have a go at proving that people should just say what they mean without inventing pseudo-languages that only make sense to them.
Pessimistic take: after the two stages you mentioned, in the third stage they will carry on BSing as usual (only more efficiently with LLMs now) and there will be no one to point out that the emperor is naked.
What you're talking about is called playing rubato (https://en.wikipedia.org/wiki/Tempo_rubato), and I think that is part of the point here. The control that you get over the timing allows you to express yourself musically / perform the music with your own interpretation.

The instructions may be a bit unclear, but I think they are suggesting that it works better artistically if you play some parts evenly (the three-note sequences that repeat) and add your timing variations to the other parts. This creates a kind of a baseline of regularity that makes the variations stand out by contrast. (It also gives the feeling that you're capable of even, steady timing and the timing variations you do incorporate are there on purpose.)
Crunchydata deploys in AWS, GCP or Azure if I recall correctly.
Great article! The phrase "true and false are both atoms" confused me, as I didn't know what atoms were, but I'm not quite sure how that information could be included earlier without feeling jarring.

Also, "Not that there is only one type of pipe |> and it feeds the output into the first argument of the next function." Did you mean "Note that"?

Either way, thanks for sharing! I'm excited to learn more about Elixir.
SokalGPT
Wait... why do I need a video decoder in my kernel?
Disclaimer: I develop Waterfox.

I think it’s worth noting that Librewolf provides unsigned binaries and at least on Windows, you need to trust a third party service to provide automatic updates.
Funny, I was just looking at where to put a VPS and what is the most cost effective way if I don't care about getting the best performance.

Oracle has an always free tier, but it is hard to build much on 1 vcpu and 1 gb of ram. They offer $300 free credits so you can use some services for free until those credits run out, but their servers are at least double the price of others like Hertzner or Vultr and there are even cheaper ones if you are willing to take the tradeoffs.

I thought, why not check out IBM and see if they offer a free tier or credits? And, then was triggered by the "Free credits for Watson!" I don't know if they have a free tier or not, but that ad alone had me walk away. IBM's reputation over the last few years carries forth in my imagination.
Human beings have multiple, sometimes competing instincts and in different proportions in different individuals. While one of them seems to include voluntarily giving up responsibility of some aspects of your life to sufficiently respected others, another you can observe in many places is an instinct towards self-sufficiency and a reluctance to accept people telling you what to do.

Without the first, many large scale achievements of the human race would have been more difficult or perhaps impossible. Without the second we would have lost a valuable check on the power of the leaders, and a much reduced propensity to explore and experiment.
what a great post, we have had a ton of issues with users using pgbouncer and it's not because things are "broken" per se, it's just the situation is very complicated, and pgbouncer's docs are also IMO in need of updating to be more detailed and in a few critical cases less misleading, specifically the prepared statements docs.

This blog post refers to this misleading nature at https://jpcamara.com/2023/04/12/pgbouncer-is-useful.html#pre... .

> PgBouncer says it doesn’t support prepared statements in either PREPARE or protocol-level format. What it actually doesn’t support are named prepared statements in any form.

IMO that's still not accurate. You can use a named prepared statement just fine in transaction mode. start a transaction (so you aren't in autocommit), use a named statement, works fine. you just can't use it again in another transaction, because it will be "gone" (more accurately, "unmoored" - might be in your session, might be in someone else's session). Making things worse, when the prepared statement is "unmoored", its name can then conflict with another client attempting to use the same name.

so to use named prepared statements, you can less ideally name them with random strings to avoid conflicts, or you can DEALLOCATE the prepared statement(s) you used at the end of your transaction. for our users that use asyncpg, we have them use a uuid for prepared statements to avoid these name conflicts (asyncpg added this feature for us here: https://github.com/MagicStack/asyncpg/issues/837). however, they can just as well use DEALLOCATE ALL, set this as their `server_reset_query`, and then so that happens in transaction mode, also set `server_reset_query_always`, so that it's called at the end of transactions. Where pgbouncer here IMO entirely misleadingly documents this as "This setting is for working around broken setups that run applications that use session features over a transaction-pooled PgBouncer." - which is why nobody uses it, because pgbouncer claims this is "broken". It's not any more broken than it is to switch out the PostgreSQL session underneath a connection that uses multiple transactions. Pgbouncer can do better here and make this clearer and more accommodating of real world database drivers.
So you want journalists to doxx their confidential sources?
100? You're an optimist. But the only way is placing strict rules on governance, both public and private, and enforcing them. Once the corrupt politicians and bribing CEOs are sent to prison, changes will come.
It's a way to describe things. You can describe, for example, the James Webb space telescope or the Large Hadron Collider in that way.

You can also describe say, the Frankfurt school of critical theory or every other programming language.

A product is an act of production here, as in some kind of process. Even things like classes of clouds and rocks can be described in that framework

I don't expect Lean to be an exception

Also to respond to the idea that I'm fundamentally unworthy of an explanation: I'm also not the target audience for the LHC or James Webb but effort has been made to describe it. They don't demand advanced physics degrees to unveil its purpose like they're some kind of secret society.
I think a better upgrade would be a 16GB RK3588 board in the same case.
Short/medium term maybe, long term monopolies are definitely producing less revenue, I can't find a good study about this but I read this multiple times.
Yeah, you would only use it in very tight loops in special cases, ideally only within a single heavy function. It would be madness to do object pooling across a large scale codebase
Love it ! I allways want to learn and play piano !
The article makes the assumption that something like this needs centralized authority instead of a loose confederation of a bunch of tribes, cities and villages.
Let's be clear here. You have the right to spout off in the public square without government consequences. Others, including Meta itself, are still free to hold you accountable for what you say.
Then why did he take sides?
I’ve been very excited by lean, but every time I try to set things up I get riddled with exceptions, errors, library incompatibilities, lean 3/4 problems. Tuts or documentation that is outdated or just doesn’t work. It has made me wonder, is this just really really alpha software, are they working at a bleeding rate? Idk, but I’ve been enticed multiple times by the promise of lean, maybe I’m just missing some info or should stick it out or just wait until it gets more stable. Anyone have any insight here?
I used to live in central Edinburgh and I walked to work, my wife walked to work and our son walked to school. We did own a car but used it rarely.

Now we live in a rural area (which was our choice) and we now have two cars and pretty much have to use them to get anywhere - although I do drive to the train station to get the train into Edinburgh.
The extent to which adding any mining data center is "good", even assuming that Bitcoin is "good" is incredibly abstract. Yes, it may make that one miner more money, but it creates no new net economic value, its only value is making the blockchain more secure. Is it good to make the security of the blockchain dependent on electricity demand?

There are plenty of better ways to increase demand that are more useful than burning it for fungible security. For example you can build datacenters that can shift load by time and location based on the state of the power grid. Google and Facebook already do this. You can build battery plants which address the problem directly. Electric car charging should be incredibly complementary to demand response.

Posing Bitcoin as a solution to generation problems assumes that the biggest problem is finding ways to use energy, which is absolutely not the case. It's a solution in search of a problem.
> Exactly. Journals have sucked for a long time

It's funny people are raising their pitch-forks about the journals. I guess it's not widely known/understood that the journals aren't reviewing anything ever. So when I say reviewers I'm talking about PhDs in academia that do this work as "community service". So if peer review is fundamental to the scientific method then your tax dollars are being wasted but the bulk of the waste is on worthless, lazy, BS spouting academics not journal admins.

> and practically all of academia just went along because there were no other options.

Arxiv has been around for a long time now. Do you really think "the academy" couldn't have come to some consensus on how to allocate review duties for papers that are uploaded/stored/submitted there? The fact that they haven't strongly indicates that lazy ass peer review as orchestrated by the journals is to the benefit of the academy.

Journal (and conference) reviewers are completely anonymous and there's absolutely no appeal process (rebuttal phase is BS). Does that sound like a democratic/fair/auditable/meritocracatic setup to you? Sounds like review by inscrutable tribunal to me. So if the process were open/community driven (ie democratic) then people wouldn't be able to hide from the shitty job they do.
Hi, unrelated but I just wanted to say hello.

Stumbled across your post about spin2win a while ago and I'm glad you found it useful! I still use it every day and wish I could fix the jankiness but oh well hahaha.
LeanDojo shows promise in allowing interaction with the proof environment programmatically and through LLMs: https://leandojo.org/.

This NY Times article is a nice overview of AI in math proofs: https://www.nytimes.com/2023/07/02/science/ai-mathematics-ma... (https://archive.ph/t0BhD)

Here is a chart of Mathlib's growth: https://leanprover-community.github.io/mathlib_stats.html
Why walking helps us think
Same indeed
Any resources for learning Blindfolded 3x3? How long did it take you to learn it?
Oracle also offers 4CPU/24GB of Ampere, if you can run your stuff on ARM.
> NSO Group is a subsidiary of the Q Cyber Technologies group of companies.[7] Q Cyber Technologies is the name the NSO Group uses in Israel, but the company goes by OSY Technologies in Luxembourg, and in North America, a subsidiary formerly known as Westbridge. It has operated through various other companies around the world.[18]

> Owner
> Novalpina Capital

Source: https://en.wikipedia.org/wiki/NSO_Group
This was one of the first pieces I tried to learn as a kid. I would just restart it repeatedly because my Casio keyboard had a library of classical music on it that one could listen to by hitting a function key and then a unique white key. I think it's something that Casio did in the late 80s - mid 90s. They don't seem to use the old song library much or at all anymore, but I thought it was a great feature.

So I'd just restart from the beginning and learn the next note. Guess-and-check. As an adult I've continually tried to learn to read sheet music, with frustration. So I learned jazz theory and invented my own music theory system. Now I encode most pieces harmonically in my brain. It would be cool to see this kind of indication in the app, so for example, the first couple lines:

3/4
|C#mi| | | |C#mi/B | | | |
|A | |D/F#| |G#5(b6)|C#mi/G#|G#sus|G#7 |
...

I like to use this as a jam idea, for example play it like a montuno.
I use both Firefox and Librewolf to achieve browser isolation. Librewolf is my default browser for all anonymous browsing such as news sites. I use Firefox for all my real name ID account logins such as banking. This way your Librewolf browser fingerprint is never associated to your real ID.
Karaoke box is an general paid solution. Everything except bring foods or sexual act is accepted.
The next sentence: "What you say publicly can & will be used against you in the court of law", so governmental consequences is what the OP was referring to.

It seems like the OP might have been conflating free speech with admissions of guilt for other crimes, but "spouting off" is not, and must never be, a crime.
Cyclist's Palsy
This looks nice: https://github.com/TheHamkerCat/NSFW_Detection_API

Paid solution: https://www.edenai.co/pricing?referral=how-to-detect-explici... or https://deepai.org/machine-learning-model/nsfw-detector
That film is fantastic.

Does anyone know what terminals they're using at the end? It looks like they have two types.

At lest one of the computers looks like it's some kind of Data General machine. There's also a shot of what looks like an IBM System 370 front panel like this one: (https://old.reddit.com/r/vintagecomputing/comments/7l79hs/ra..., https://www.computerhistory.org/collections/catalog/10266809...).
If every dollar of IBM's $617M/Q loss of infrastructure revenue went to AWS, that would only be around 27% of AWS's growth.
> This seems like them just gouging the last of the customers who are either unwilling or unable to leave.

This course of action is not surprising looking at their net income and profit margin trends:

https://www.macrotrends.net/stocks/charts/IBM/ibm/net-income

https://www.macrotrends.net/stocks/charts/IBM/ibm/profit-mar...
Young-Wan Kwon Responds to Uproar over LK-99 in University Lecture
it's not the wrong way because it's not always about the needs of the suburban/commuting community. Reducing car traffic can be a goal itself because it calms the neighbourhood for the community living in the urban areas or enables car-free, walkable zones reused for cafes etc. Those places can often fundamentally not coexist with cars. Parking can also be removed just because it's needed for other infrastructure, e.g. bike lanes. There are many reasons to remove parking spaces.

So I would say that usually it's about providing incentives to use public transit and reduce the incentives to drive, but sometimes it's purely about reducing traffic.

The poster also said that he's a former chicago resident (in his bio it says he's actually from chicago), so he exactly knows what he's talking about.
> When I send someone a Word document, I can't guarantee that it will look the same

Exactly! Isn't that wonderful? People can view it on a desktop, a phone, a text-to-speech engine if they want to have it in audio form... it all just works because the tags are preserved that show what's supposed to be a heading, where new paragraphs start, whether text to the right is a side box or a continuation of the line, etc.

> certainly more consistently presented to the end user

We all love horizontal scrolling to read your sentences, yes. Let's make everything preformatted text with a line length chosen by the sender. (Yes I know HN now inserts line breaks in code blocks now. Isn't it nice to have reflowed text?)
A geology student in Iceland told me that actually the new land is rising faster than the sea-level rise - the Eurasian and North American tectonic plates grow apart there and mantle is being pushed to the surface.
Apple races to patch the latest zero-day iPhone exploit
No evidence selective UK schools are best for the brightest
What does "pure binary" even mean, though? I think you mean a bare-bones COM-like format where the binary gets loaded at an ABI-determined static address in memory, the instruction pointer is set to the first byte of the binary, and you're off to the races.

This "pure binary" is still an object format, and still depends (at minimum) on the format's convention for the address at which the binary is loaded. Note that this is the case even when writing firmware ROMs, where the architecture determines where the boot ROM gets mapped in memory.
What is an emotion? William James’s theory of how our bodies affect our feelings
Imagine if, say, there was a law saying they could only sell to countries scoring 85 or better:

https://freedomhouse.org/countries/freedom-world/scores

My point being that there’s precedent for restrictions - we don’t sell nukes to anyone, and the companies which make advanced weapons systems have to get things like ITAR approvals. What would be especially powerful would be revocation: if a country is found abusing their access to this tool, they are blocked from purchases of any sort for a decade. Unfortunately, given Israel’s current politics it’s extremely unlikely that anything would happen since there’s no way to write a policy which would continue to allow their own usage.
What’s the reason?
“What’s subsidized” is completely detached from the vehicle owner already. Cost to design, prototype, manufacture, pass standards, finish, sell in a dealership, and provide warranty for are all basically trade secrets.

There’s no way for a car owner to know whether their $120k car cost $300k to make or $20k, so how can we have a genuine discussion about the cost of anything else?
I don´t want to come off wrong here: I totally don't mind if people use GenAI to produce text responsibly and carefully. I do find it fair to communicate it however: As a reviewer, I'll look at something entirely written by a human and (even partially) generated by a stochastic model with different eyes. If I trust someone for example, I know they wouldn't knowingly lie to me. If they used an LLM, they might do just that without even noticing.

Personally, I love writing - gets me in the flow. I'm weird that way. But I realise lots of people struggle in the early stages of drafting something. If they have a tool that helps them, that's cool. It's just easier to spot mistakes in something someone (or something) else has written than to avoid typing them manually, is all.
> "Apple is aware of a report that this issue may have been actively exploited."

Wasn't this captured in the wild?? Then why the "may"?
> There is a 1:1 correspondence between visited configurations and queue entries, so for total RAM usage it actually doesn't matter what information you're storing in which one.

It does if you are allocating the visited state map up front. The queue grows as you explore the states. As you approach every possible state then it will become 1:1 with the visited states. But until then it will be smaller.

> but 256 * 0.5 GB is just 128 GB, not terabytes

You are right. My math was off this time. I can actually fit this on my desktop but WebAssembly is an important target for me and browsers only support 32 bit wasm. So I would probably need an alternative implementation there.

I converted your puzzles to my solver out of curiosity:

17: https://ricochetrobots.kevincox.ca/#s=EBBBCBECA4CBAAEAIQIBQI... 1.3s

27: https://ricochetrobots.kevincox.ca/#s=EBBBQCEQA0ABAkEAAQARII... 2.4s.

Thanks for these examples, they are good to add to my benchmarks. Right now the slowest puzzle I am aware of is this 20 move with mirrors. https://ricochetrobots.kevincox.ca/#s=EBAJIAEAEQQhAAEAQYAJAI... It takes about 5.4s.

Mirrors make it much harder because robots are not interchangeable, the slowest puzzle without mirrors I have is 25 moves https://ricochetrobots.kevincox.ca/#s=EBAhQBEQBUABAwEAQQARII.... It takes 4.5s

All times were in the wasm build. The native build is faster but it varies a lot by puzzle, not sure why that is. Between 10 and 50% faster.