skysight-inc/HackerNews huggingface dataset:
Yeah, it was really hard to minimize the title within HN's limit. It comes from the following description in the "how" document (emphases on used words):

> Haroldbot is a tool that checks the equivalence of arithmetic expressions with 32-bit bitvector semantics, running entirely on the client. This task is mostly accomplished by encoding the expression as an array of 32 binary decision diagrams, one for each bit. Since for a given variable ordering a BDD of a boolean function is canonical, this representation offers and easy equivalence test, at the cost of having to build the BDD first.

You may get more information from the aforementioned document: http://haroldbot.nl/how.html
Usually, candidates considered for heart transplants don't have a great alternative - i.e. healthy enough to survive the surgery but without the surgery these candidates would have deteriorated regardless
I could see that. We change the fillings to get more variety. One time it might be ground beef, next time chorizo or ground turkey.
Clever raven solve puzzles [video]
If you think a qualified airline pilot in command, who in all likelihood has significant military as well as civilian aviation experience, needs to be "absolved from having to make decisions," you're just broadcasting your ignorance of the subject for the entire world to see.

"Programming isn't that hard; my little brother is good with computers, too." That's the level you're talking at here.
Yeah this was my first thought too
It'll turn into CO2 eventually. For now, it's just contributing to smog.
> The Guardian has removed a letter written by Osama Bin Laden, explaining his war against the United States is partly because of its support of Israel, after it had gone viral on TikTok.

If I recall correctly, the terrorists attacked the US because they "don't like freedom". That was the narrative on TV nonstop and any wavering from full support of the wars or "supporting the troops" was tantamount to supporting terrorists.

The irony being "terrorists" are just viewed as "martyrs" and "freedom fighters" on the other side of the coin, and every bomb dropped fighting them resulting in civilian deaths creates new terrorists/freedom fighters, who then go on to attack again killing more civilians, creating more radicals on the other side, who then bomb killing even more civilians. It's a cycle that never ends.
Ah, sorry for the confusion there. I should've specified.

The family plans (whether on big carrier or MVNO) get cheaper per line while going up in total price. But yes, not everyone needs unlimited.
Whale oil was a huge business back then. Oil lanterns were ubiquitous in businesses and in homes. Whalers were very well paid and doing a very physical and relatively dangerous job, sort like frackers now.
Why no CANDU? No can do because NIH? Canada commies much?
Already nostalgic for the future days when "real" street food is "hand made" in front of you by the robots. None of that instant vending machine crap!
If there isn’t “wrong think”, is there any “right think” either? Just nihilism?
> People in the US also think they need to refrigerate eggs.

Eggs in the US are washed (by law) before sale, which removes their natural protective coating, therefore requiring they be refrigerated. In other places eggs are sold unwashed and can be left out.
These heuristics feel to me like a corollary to a simpler, more general rule: avoid redundant work.
I am not an expert on this so if someone informed replies disregard me.

But from what I understand, reduced sperm counts have very little impact on reproduction until it falls under a certain threshold. It probably depends on the individual baseline if a 50% reduction is enough to cause problems or not
Exactly. Global Warming and species decline/extinction (we are in the 6th mass extinction) all appear to be exponential. The question is, will we have AGI before we destroy ourselves?
"I wonder if aviators do post-flight debriefs." Good gravy. This is like your nontechnical relative saying "my cousin is good with computers; how hard can programming be?"
Stunts! was glorious freshman year of college. There were so many bugs we found, my friends and I started making "illegal" levels, where there was a small circular track but the real track was slightly off the path.

I remember one track that used all the bugs - you could drive on the water if you were mostly driving into the fence, you would get a weird burp in the air to make a slightly longer jump if you came at the right angle, etc.

Sadly, all the levels were lost in a tragic HD crash, but the memory lives on!
That’s pretty damning!
Show HN: Lekchur – real-time speech transcription in the browser with Whisper
Hey HN!

I recently started my undergrad, and after a few weeks at university, I got inspired to make a tool to help others out there.

Introducing lekchur, a free tool that transcribes your college lectures (or really any form of speech) in real-time, right from your browser. It loads the whisper-tiny-en model locally using the Transformers.js library and performs all audio processing and transcription solely on the client side.

The output on its own may seem rather cumbersome to parse through, but I've been finding it useful to feed the final transcripts to LLMs like ChatGPT and Claude.ai to get concise notes and summaries.

Claude has a nice file upload tool, so I've developed a neat workflow where I can record, transcribe, and get summarized notes of lectures on my phone!

Here's a demo showcasing that workflow with lekchur on my iPhone 13: https://youtu.be/WQk86-9BCaI
deadpool and its consequences have been a disaster for the human race...

i think these are just edgy kids being edgy. twenty-first century hanoi janes, the lot of them
Trusting only metas Eula’s is better than trusting both meta and beeper
Show HN: OpenOpenAI – OSS version of stateful Assistants API
Hey HN,

OpenAI's dev day announced GPTs and their programmatic equivalent, the Assistants API.

I think there's a ton of value in standardizing assistants, and OpenAI's in arguably the best position to do so, but their API is closed and will likely remain so.

So I decided to create a 100% drop-in replacement that's open source and self-hostable. The best part is that all of the API route definitions and types are 100% auto-generated from OpenAI's official OpenAPI spec, so you can swap back and forth between the official API and your own, custom API with one line of code.

Would love feedback && I have some open issues on GitHub if you're interested in helping out.

Thanks!
>[Terrorists are] murderous threats to civilized society who must be destroyed absolutely without question or hesitation, by whatever means necessary.

I heard many people talk like you do maybe 20 years ago. This sort of mindset resulted in two wars which killed over a million people, did no good for anybody, and never stopped terrorism from happening. FAR more people died in the global war on terror than have ever died at the hands of actual terrorists.

You should ABSOLUTELY hesitate, ask questions, and refuse to use any means to resolve the issue when facing murderous threats to civilised society. Those are very very good ideas.
“we use leetcode to filter out hires because it works for us”
Yet that proves nothing. I’d point out that the fact there are multiple planets around our own star and the theory of how the universe evolved predicted planets around other stars with near certainty, and we even had an idea of how to detect them it was just a matter of a sensitive enough instrument and computational techniques.

We have nothing equivalent for life. But not for trying, we absolutely have, quite a lot with many techniques. But yet, nothing. We don’t even have a theory for how life emerges that’s very advanced or verifiable.

I’m not saying we are alone. But the fact we exist doesn’t prove other life exists, and it doesn’t mean life is plentiful. If there were one person left on earth, they would observe a planet and assume there must be more people because how could they possibly be alone? Yet, by construction, they are. That incredulity doesn’t change anything.

I’m not asserting we are alone, and I believe we aren’t. But just pointing out our belief proves absolutely nothing, and holding the opposite belief doesn’t mean egotism. It’s actually the most rational belief given all evidence that we are alone.
NACE: Statistical Classification of Economic Activities in the EU Community
> make me fit in your box

Not really...

> I would like to be able to travel the 1/3 of a mile without having conflicts with drivers when I'm trying to walk.

Why? Are you flipping off all the SUV drivers you see?

> Also since you brought up "self reliance" almost any bicycle is going to be way more repairable than a motor vehicle, and _much_ more reliable, more capable off road etc. Literally children can repair and maintain them.

Yes and you can still fit tent and stuff in your backpack or take a little trailer if you need. Way less tools needed. Travel lighter, less impact, access more places via skinnier tracks, it's cool. And you get a workout at the same time!

I modify and maintain my own vehicle, so making it back from a 6000km trip on road and off road is very rewarding experience as it proves your abilities at (technical) driving as well as at spinning spanners and camping conveniences. Can cover more ground in a vehicle, visit more places, see more sights. Take a few more creature comforts.

We only get so much time off work.
The reason is unlimited freedom in its most extreme form. Everyone is free to try anything, including things that are logically or physically impossible. The caveat is that everyone else has the same freedom.

If you try to drive to the beach but other people stop you and put you in prison, it happens because other people choose to exercise their freedom that way. If you believe that everyone should have the right to access the beach, it's up to you to convince other people. And to find enough muscle to enforce that right against those who inevitably disagree.
This is related but in a kind of obscure way. I play low-level tennis, talking Div. 9 where there are 10 divisions in total. I play with and against a fair few juniors that are just cutting their teeth playing against seniors (learning how to 'play' a game of tennis having learned technique for years ad nauseum).

I've lost to 12, 13, 14 year olds who are sensationally talented, but what's scary is that, if they're slumming in Div. 9 in their low-teens, they're pretty much out of the running for professional tennis already.

This animation is likely an example of someone in that rarefied air combining natural talent, willingness to expend the effort on a single pursuit, and desire to see something through. This guy's a pro in the making, to continue to tennis analogy, at age 12 he'd have been cutting his teeth against div 3 seniors - In Div 9 I wouldn't even see this level of talent, even when it's up-and-coming (and maybe that's a good thing for my own motivation to continue playing and improving).

Survivorship bias-ish?
>One solution for that is to use memory-safe compilers but the only one I know of is Graal.

The Rust compiler is another (being written in Rust).
Flagsmith or Unleash, Which Open Source Feature Flag Tool Wins in 2023?
> than if you don’t

If by “don’t” you mean “do the opposite” then I agree. The third option is “don’t follow the rule blindly but think about the situation”, and for that case it depends entirely on the person and how well they think.
Related to The Blind Watchmaker: Richard Dawkins wasn't happy with Apple Writer, so he spent close to a year writing his own word processor [in assembly], called "Scrivener", which he then used to write that book.

https://www.youtube.com/watch?v=9DEe4QEuOSw&t=1074s

He said he would have written 20 books if he hadn't taken up computer programming:

https://www.youtube.com/watch?v=gQp1QaW_onk
AI support also works great for generating code that uses ORMs.
It's hard to make out what you're saying through the plexiglass and the double masks.
Multicellular life in the oceans would be bound more to the conditions of an ocean than of the non-marine Earth. And while there's some diversity in oceans, much of this diversity would be captured in any given ocean.

Multicellular life tried a whole bunch of shapes and niches early on. It would be interesting if some of the also-rans in Earth's oceans became the winners in other oceans.
my hot take is everyone screws this up and the way out is to basically succeed (i.e. reach breakout growth) in your first … year… before the relationship has time to sour - the gravity of success will bind you. Otherwise startup tidal forces are too strong and failure (i.e. lack of success) will rip even strong relationships apart. google facebook msft apple amazon - all succeeded on the first try with the first plan out of the gate
MonkeyPatch is a specific programming term that people have been using for decades. What would posses someone to name a programming tool "MonkeyPatch" when the tool doesn't even have something to do with patching?
hahahaha i actually prototyped this during the summer. boss and i came up with a plan to create a friendly chatbot that, when applicable, would suggest portco products to the user.
Everything is physics when you get down to the fundamentals.
I was also diagnosed at 22yrs(now 26), I've been using ritalin as a major fix for focusing on jobs/tasks, after couple years, it just doesn't seem to be a good solution for this, because I realized how unproductive I am without meds, as of now, I'm browsing through HN just because I haven't taken my meds and I'm at work rn
No, I think it's pretty clear what a terrorist does - target civilians on purpose. But, terrorists can certainly be freedom fighters as well or vice versa.
LLMs are like human minds the same way airplanes are like birds. Both birds and airplanes can fly, but very differently. Birds can land on a dime, airplanes can't. Airplanes can carry a lot more weight and go faster.

Similarly LLMs can do things humans can't. No human has as much knowledge about the world as a typical LLM model. However, an LLM model can't generalize outside it's training set well (recent Deep Mind research). LLM doesn't have a memory outside it's input. LLM isn't Turing complete (has fixed amount of steps and always terminates).

We are building airplanes, not birds. That much is obvious.
Microsoft needs a VP for product naming. Most of the time I can't figure out what the product does
The idea of hoisting precondition ifs into the caller is terible! Sure there are special cases where it's a good idea (if nothing else it skips a function call) but in the common case you don't want to this.

In a library you want to check preconditions at the external boundary so the actual implementation can proceed knowing there are no dangling pointers, or negative numbers, or whatever the internal assumptions may be. Depending on the caller to do the check defeats the purpose.

Also in many cases you would need to violate encapsulation/abstraction. Consider a stupid case: `bool cache_this (T obj)`. Let the cache manager itself check to see if the object is already there as it can probably touch the object fewer times.

I agree on the `for` case but it's so trivial the article barely talks about it. Basically it's the same as the encapsulation case above.
Native support for OS LLMs is on the roadmap - the main challenge is to figure out how to manage the knowledge distillation for local models. It’s a top priority (along with typescript support), so check back in a few weeks?

Right now any ‘plug-in’ model needs to conform to the OpenAI API.

(P.S Carthago delenda est)
CANDU are fine reactors, but the US uses pressurized water reactors (64) and boiling water reactors (31), which are better. Why? Reactors have various feedback loops, some positive, some negative. You want negative feedback loops rather than positive ones. One of the main feedback loops in water cooled reactors is negative in PWRs and BWRs and positive in CANDU reactors. That doesn't mean CANDU reactors are not usable, but PWRs and BWRs are inherently safer.
As an aside, my wife and i were having trouble conceiving, so i bought a cheap microscope just to sanity check that my sperm were alive and kicking.

Of all the things my kids and i have looked at under the microscope, sperm is some of the most entertaining to watch.

While it's obviously not a definitive measure of fertility, you can tell a lot by just observing them, and seeing at seemingly millions of sperm going crazy took the stress out of trying and we became pregnant soon after.
“but AI can’t create art”

“but AI can’t write poetry”

“but AI can’t do real work”

Panic is probably not warranted. Too much incentive stacked against the truly apocalyptic scenarios. But yeah, a lot of jobs are probably going to shrink.
I will never defend terrorism but this line of reasoning converges with that of terrorists very quickly.
Cobalt is based on Arm CSS model, so it's Neoverse series probably N2 (based on 128 core count). AWS Graviton 2/3 is N1/V1, and Nvidia Grace is V2. Ampere Altra is N1 and the new Ampere One is publicly unknown.

Several Chinese companies also develop chips based on N2, like Alibaba T-head and ZTE Sanechips. I worked on software tunings for both of them. It's good to see more and more Arm chips.
I converted a book to audiobook a couple of months ago using the tts code here: https://github.com/coqui-ai/TTS

Wasn't as good as eleven labs, but it had enough options that I found a voice that I liked to listen to.
On that note, “Moby Dick” is a surprisingly detailed and accurate depiction of whalers’ day to day, I learned a lot.
Very good point. For C, I like the idea of sticking an assertion in there.
Of course the letter, and even the attack itself, were not really messages for American anyway. Quite the opposite of the Hamas atrocity, except that both resulted in the death of a relatively large number of innocents.
A beneficial side effect of this strategy (operating in batches with control logic out of the loop) is that you can also relatively easily distribute the work on many worker threads without touching the interface or the code structure.
Yeah agreed, I just don’t need all that so it’s not worth it to me, personally
Really cool to see an identity provider that's free, both in price and in friction. Nicely done!
Finally! Just one more hour..

The mitigation is expected to complete by Wednesday, 2023-11-15 19:30 US/Pacific. We will provide more information by Wednesday, 2023-11-15 19:40 US/Pacific.
Oh! TY for this thought.
To answer your question, and I'm trying to translate something that happens "automatically" for me, now, but it all hinges on: more throttle makes the bike stand up/go straight in a turn. The first part of the turn involves slowing down.

If you want to make a quick turn, you can keep a higher speed up to the turn, engine brake through the first 1/2 (by angle), ease off and apply throttle by the 3/4 point.

Done correctly, the bike will make a graceful turn with a somewhat rapid "dip" in the middle. On a winding road in minimal traffic, you'll spend most of the time in the same gear, hand/foot off the brake, tweaking your right angle to control speed through the curves.
given it looks state mutating, I'd write this something like

walruses.apply(condition ? frobnicate : transmorfify)

where apply does the looping.
> must be destroyed absolutely without question or hesitation, by whatever means necessary.

Somewhat ironically, this is how members of terrorist organisations usually justify their means, particularly, their defining characteristic: the targeting of civilians.
Is the site still online?
What Workplace Emotional Abuse Sounds Like (2017 – Guy Carpenter)
So here is the thing, Terrorist and terrorism is orthogonal to all that. It is a description of action. It says nothing about goals, which can be right, wrong, noble, or despicable.

Someone can spread terror for a good cause or bad cause.

Terrorism fully compatible and justifiable with utilitarian ethics. As utilitarian ethics become increasingly popular, you should expect terrorism to become less repugnant.
The terrorists don't like the US for many reasons, some of them seem legitimate.
Either way, they're still folks who hijacked planes and crashed them into the towers.

The irony being "terrorists" are just viewed as "martyrs" and "freedom fighters" on the other side of the coin, and every bomb dropped fighting them resulting in civilian deaths creates new terrorists/freedom fighters, who then go on to attack again killing more civilians, creating more radicals on the other side, who then bomb killing even more civilians. It's a cycle that never ends.

I am sure some of them viewed themselves as freedom fighters, and that us dropping bombs which inflict collateral damage generates the kind of people who are willing to fight the US. That doesn't make them heroes or martyrs.
Libreboot 20231106 Released
> You can’t say “I want a DIY culture” but also “it’s unlawful to hack my car”. Pick one.

As far as I can tell from the actual article we are discussing, no one said this. Car mods remain 100% legal. The proposed features even allow speeding without modification.
Monkeypatch (as I understand it) means to modify code at runtime. This library modifies functions at runtime to use an LLM as an execution target - I thought it was an apt (if admittedly cheeky) name! Appreciate the critique regardless.
It was in The Guardian's "most viewed" list that they have at the bottom of most pages, at #4 IIRC. That's why I read it earlier, before it was deleted. Was wondering what this old article was doing there...
By all means show us the superior examples from your own body of work.
The question is whether there is life elsewhere, not whether we have replicants "out there".

That said, the entire universe as is appears to be in incredibly rare event, moreso than mere evolution.
I applied to collage around 2018. I was not experienced enough for the position but do remember the interviewer being patient, intelligent, and kind. Seemed like a great company to work for.

I also purchased several gifts from the company, disappointed to hear it's no longer around.
The specific package name on GitHub and PyPi is ‘monkeypatch.py’ for the avoidance of doubt!
That's a better idea than moderns give it credit for.

If Earth orbits around the sun, you'd expect we'd see the stars move, as Earth moves relative to them. You have to assume the stars are absurdly far away to make that model fit with observations.

Of course, now we know that stars are that far away, but I can't fault the Geocentrics of old for picking the more reasonable model.
Show HN: Convert any screenshot into clean HTML code using GPT Vision (OSS tool)
Hey everyone,

I built a simple React/Python app that takes screenshots of websites and converts them to clean HTML/Tailwind code.

It uses GPT-4 Vision to generate the code, and DALL-E 3 to create placeholder images.

To run it, all you need is an OpenAI key with GPT vision access.

I’m quite pleased with how well it works most of the time. Sometimes, the image generations can be hilariously off. See here for a replica of Taylor Swift’s Instagram page: https://streamable.com/70gow1 I initially had a hard time getting it to work on full page screenshots. GPT4 would code up the first couple of sections and then, get lazy and output placeholder comments for the rest of the page. With some prompt engineering, full page screenshots work a whole lot better now. It’s great for landing pages.

Lots of ideas of where to go from here! Let me know if you have feedback and you find this useful :)
The real question is if civilians are morally culpable for their choices, actions, and their consequences.
Is it because there are just fewer personal websites to link to? I run a couple of small websites - one has eight or so links to similar personal-ish websites (non-reciprocal - just links I find useful and I assume my readers will find useful) but the other has no such links, just because I haven't found anything similar worth linking to.
Oh, wow, that's right. That note is here: https://sqlite.org/src4/doc/trunk/www/index.wiki