skysight-inc/HackerNews huggingface dataset:
> Is there some convenience wrapper around this to drop-in replace the OpenAI api with it?

text-generation-webui has an OpenAI API implementation.

> I heard that you could force the model to output JSON even better than ChatGPT with a specific syntax, and that you have to structure the prompts in a certain way to get ok-ish outputs instead of nonsense.

Probably to get the maximum use out of that (particularly the support for grammars), it would be better not to use the OpenAI API implementation, and just use the native API in text-generation-webui (or any other runner for the model that supports grammars or the other features you are looking for.)

[0] https://github.com/oobabooga/text-generation-webui
CS107 – Programming Paradigms
I have just started playing with guitar building. Years ago I did repair work and wanted to build but the repair work made me hate working on instruments. I still kind of hate working on instruments but I my desire to build never left me and seems to have finally exceeded my distaste for working on instruments.
@roflyear

I am totally fine with you assuming whatever you want to assume.

But I wouldn't mind you giving me an example of how you failed to teach it a grammar!
WhatsApp also gracefully handles being offline and queuing messages for later.

That can’t be said of iMessage.
Startup promised not to make deepfakes without consent, but did anyway
I'm not an American, the waiting list is indeed years long and in my personal experience the best you can get from a GP is zoloft which is borderline useless, if not actually harmful (in my case).

I'm not trying to make an excuse, I'm on the waiting list for public services. I was/am also on a private waiting list, but missed their one random call 13 months later and got bumped to the back of the list as a result. The system is needlessly cruel and difficult to access.

Your father had a kid, a reason to continue fighting. I have nothing.

Thank you for the well wishes though.
There is no problem PostgreSQL can't solve unless the problem involves massively distributed global databases that need to be incredibly fast and in sync with each other, and even then I think Slony can help.
> Secondly verifying designs which use unaligned instructions is difficult because there are many different cases to consider (especially instructions crossing cache lines and pages).

Is this a practical concern? You can trap the case where an insn is potentially spanning two pages and handle it in software. As for cache lines, these are small enough that the issue could come up regardless, e.g. from a vector load insn, which is something you do want to support.
Rpi-imager and the website don’t really make it clear but these days the 64-bit OS is the preferred one on Pis that support it
Because of the security architecture of the phone, including the Secure Enclave.
Yeah, these games are usually complex enough that creating a bullseye expert system AI for it is very difficult if not impossible. Chris Crawford was already talking about artificially boosting an AI player because of the inevitable skill gap between a fair AI player vs. an actual human in 1982, I remember reading an article about the AI of Eastern Front 1941 for the Atari 800, I'm sure it's not this one from Byte Magazine but it shows similar ideas: https://archive.org/details/byte-magazine-1982-12/page/n97/m...
There are many NDE experiences who have experience with psychedelics and discuss the comparison! As far as I've seen they are more or less unanimous is asserting a categorical difference, but I haven't seen done any systematic research or anything.
> 
, 
 and 
.

Oh hey, thats almost Metharme's format.

It must originate from an older model, as most new models dont use that syntax.
One not mentioned is the 6% commission you pay to the realtor.

My neighbor did a lot of repairs and upgrades before putting the house up for scale. His family had already moved out. Months of delay and gawd knows how much money he poured into it to just get past the immediate "nope" from customers. There's the rent on "staging" furniture.

In the US, I never heard of a break on the property tax for vacant properties.

When I sold my previous house, I priced it to sell to minimize vacant time.
This sounds odd. I always thought, death is like being on vacation with some Germans.
Insurance problems, too. Insurers do not like to insure vacant homes.
My parents and grandparents experienced life from the 1920s to 1950s in Europe. Things were much worse then and much crazier.

Not saying we shouldn’t improve or that we should go back to the “good old days”. But in western countries life has been pretty good the last 70 years compared to before. But my pessimistic/realistic side tells me that we will screw this up and either turn into some dystopia with a few rich people and many poor people or we will just start another world war.
> if everyone is allowed to make them then there is a monetary gain for new entrants willing to solve yield problems [...] That is to say, it’s not that they’re charging high prices out of greed, but that there’s no competition forcing prices down.

What makes you think there would be so much competition on driving down prices of large 1Hz B/W displays that can't display motion videos properly and suffer from terrible ghosting, if patents weren't a thing? Do you think there's large display-tech manufacturers knocking on e-inks door wishing to enter the market for such niche displays and e-ink just keeps saying 'NO'?

If that were such a lucrative untapped market then someone like Samsung or LG would have swallowed up e-ink holdings already or drowned them in lawsuits to squeeze a cross lichenizing deal out of them, but it's not.

Here's the hard to swallow pill: The consumer market for large e-ink displays is incredibly niche that it's not worth entering by second players, and better just leaving one incumbent player deal with their niche little sand-pit.

You're looking for problems that aren't there while also grossly over-estimating the size of this super-niche market.

It's a nothing-burger that, due to lack of knowledge and understanding of the market and technology, HN loves to spin into an emotionally charged straw-man every few months outraged they can't buy TV sized e-ink displays at Wallmart for $199, without even considering the technical challenges, product feasibility, economies of scale and market situation of such a fantasy product, thinking e-ink must be evil or stupid for such a product not already existing.

The truth is, there is no conspiracy and the e-ink market has already self-regulated itself: The mass market e-ink displays like for price tags and e-readers have already gotten cheap enough, while big e-ink displays are very expensive because there's next to no market for them to warrant further optimizations of economies of scale or interest from other players to even bother competing regardless of patents.
Ask HN: Is there more money in greenfield software projects or maintenance?
It seems that most software contractors target greenfield projects -- e.g. We'll help you build your app idea.

Of course, those projects also tend to use newer technologies.

However, I'm certain, the base of existing code is orders of magnitude larger than new projects in development.

In your experience/opinion, is it more lucrative (hourly rate and volume) to build a consulting business to target a legacy technology like .NET WCF?

Or, do the hourly rates tend to be lower, and opportunities fewer, for projects extending and maintaining legacy technologies?
> there surely must be another approach to prompt-making that would be more effective than 'this is another intelligence like me, I will tell it how I want it to act

I don't think that this is especially beneficial for the LLMs, the benefit of chat interface is that humans are social animals with lots of experience forming prompts like this.
Narrator: it was turned off in 2025.
See this: https://archive.ph/YY3jN
> I got more daring with my sandwich orders.

I think author slept at some cottage every night. Taking sandwiches on through hike without resuply does not seem very practical..

I did wild camping in Scotland long time ago, but I would not recommend it today. Locals are not so welcoming now.
Things that I would like to share during my 12 weeks bug bounty hunting thoughts
2020-06-02 Week 12 - Discipline means everything.

2020-05-07 Week 11 - Improve your efficiency.

2020-04-29 Week 10 - You need to keep learning.

2020-04-22 Week 9 - Got other jobs to do in this week, but that didn't stop me to be consistent in hacking

2020-04-15 Week 8 - Keep hacking it...

2020-04-09 Week 7 - Focus is the key to success

2020-04-02 Week 6 - A break for this & found 2 new issues

2020-03-24 APKTOOL Reverse engineering , a complete cli set to modify apk

2020-03-19 Week 4 - A little bit stucked

2020-03-14 Week 3 - Testing new targets

2020-03-04 Week 2 - Found something interesting

2020-02-27 Week 1 - I don't want to give up.

More : https://j0eii.cwhlabs.com/tags/Bug-Bounty/

My profile: https://hackerone.com/j0eii

I build a self-hosted dns search engine that gather dns queries from various resources for discovering more interesting hacks.

And I havent do this for a while.

Just want to share with Hackernews community about it.
It is extremely competitive those days, old bugs are swiped away, more newcomers, hard to find a bugs, advanced tech against the hunting etcetc.
But it is still workable, it just not guaranteed.
The upstream source has closed after 2021 I think, it is also one of the reason I stopped working on it.

Direct message me here: https://bar.cwhlabs.com/s/O8APBJQJ4GUMUBZD4QYLLYJ3TZMIEGVQ
They haven't announced one. My guess is that they're in the middle of complicated negotiations with cell operators at this point.

They certainly seem to have big ambitions for this project – they've supposedly secured 85% of Globalstar's bandwidth [1], and I doubt that calling for ambulances or tow trucks, or users sharing their location manually (once per 15 minutes at monst) requires that much.

My guess is that iMessage over satellite will become part of some of their higher-tier iCloud plans, in line with Apple's "services" ambitions and as a way to test the waters of providing network access directly.

[1] https://appleinsider.com/articles/22/09/09/apple-taking-85-o...
Among the things I liked about my two (brief) stays in Helsinki was the vast choice of salmiakki candy (and chocolate and ice cream) available in every supermarket
I programmed in Delphi since version 1 (before that of course Turbo Pascal) and I loved the system, a lot. The entire system is snappy, easy to use and beautifully designed. It was ways ahead of its time.

Recently, I came back to a pet project: genetic algorithms. I wrote a library for it with polymorphism, generics and some other (actually not so complicated) stuffs in FPC/Lazarus and then I must notice that my productivity suffered quite significantly compared to other languages like Python and F#. The thing is, on the first glance, everything is fine but going into the details, many small issues turnout to be big blockers.

For example, FPC introduced constref modifier for parameters. But if you declared as const instead, the compiler will still gives green light. But when running, the result is different in an inexplicable manner. Then there is a very subtle difference between a local procedure/function and a global one using as a comparer. Program compiled just fine without any hint or warning but the result is inexplicably wrong and causes a great deal of debugging effort. That was the case with generic objects list and sorting.
Then there is obviously the problem with documentation and the excessive use of overloading and type alias in many libraries. For examples, TFixedPoint and TPoint in the Graphics32 library are totally different, but unfortunately assignment compatible. Thus without good documentation, one can mistakenly pass the parameters for one function for the other and the compiler can not detect it, ultimately defies the purpose of a strong static typing system. Not to mention the (not so small) quality issues with the tooling like the internal debugger crash or (sometimes) missing of declaration informations inside the editor.

All in all, I feel the Delphi/FP language is getting old and freight with many technical debts. Trying to introduce new concepts while keeping backward compatibility can make a programming language/system so bloat and hulking that maintain quality can hardly be achieved. It still serves the purpose but it requires IMO an urgent revamp.
What other phones have the same secure enclave support and allow end-users to re-lock the bootloader after installing the Android of their choice?
Why wouldn't it use or support plain SMS? The satellites are emulating cell towers to be able to talk to existing modems in existing phones, and SMS is one of the most barebones things you get "for free" when you have a functioning connection before voice or data are even on the table.
While I wish this were true... considering how long it took to get Gutenberg, I wouldn't hold your breath.
This was beautifully written. Thank you.
Thanks for this. :)

So is a connection really just the maintained state in both the sender and receiver machines. What is maintained in that state? The ACK flags and the IP of the other machine?
The existing implementations (Oracle DB, SQL Server, MariaDB, Big Query) come with their problems too. I was a big fan of the new features when it came out in 2011, but pratically there is an unsolved elephant in the room: It doesn't cover schema changes.
The brain is a strange thing. Perception and experience is very difficult to wrap one's head around.

I have fainted several times, for different reasons. Often in medical settings but also in other settings. Often when I wake up I am in a state where I feel like I’ve been gone for hours, it feels like I’ve been basically dreaming the equivalent of a full length movie, when in reality I’ve been out for maybe a minute.

It’s strange. It seems impossible to decide what I actually experienced and what I, after the fact, believe I experienced.

I reason about the “life flashes before my eyes” concept similarly. I believe in fact it doesn’t, that a persons brain just makes one believe that has happened, after the fact. But. What do I know.
I'm not sure. Dijkstra, despite his somewhat incorrect reputation as a curmudgeonly theorist who preferred pencils to computers, had a notable pragmatic streak. And, as a matter of pragmatism, he identified the close relationship between programs and proofs. There are many such examples in his writings, but here are a few[1][2][3][4]. It's particularly interesting to see how his thinking evolves. EWD288 in particular includes what I view as both good advice and a powerful refutation of a fallacy that is stubbornly popular even today:

Finally, a word or two about a wide-spread superstition, viz. that correctness proofs can only be given if you know exactly what your program has to do, that in real life it is often not completely known what the program has to do and that, therefore, in real life correctness proofs are impractical. The fallacy in this argument is to be found in the confusion between "exact" and "complete": although the program requirements may still be "incomplete", a certain number of broad characteristics will be "exactly" known. The abstract program can see to it that these broad specifications are exactly met, while more detailed aspects of the problem specification are catered for in the lower levels.

I have myself applied this in "real" (aka, I got paid for it by a FAANG) programming by proving the correctness of the overall structure of a service (and verifying it with tests) while leaving implementation details for which requirements were nonexistent or unclear unspecified or underspecified. Since I'm neither as creative nor as clever as Dijkstra was I still like to write tests, but I've found that I can do TDD in a way that meshes cleanly with his program and proof construction style. The end result is I have code that I have both proved correct and that has solid test coverage. The tests are particularly useful for collaboration, because it's just not realistic to expect every team member who touches a piece of code to understand and rederive the appropriate parts of said proof. And as an added bonus, it escapes the common complaint for TDD that the tests get in the way of development. They don't when you only test what needs to be proved!

Edit: I find it amusing how much closer Dijkstra's approach is to what might be called "normal" (Algol-ish) programming compared to the Abstract Nonsense[5] favored by the category theorists. I wouldn't call it any less mathematical though. Dijkstra was very much a mathematical formalist as is clear to anyone who has made a study of his work or life.

[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD02xx/E...

[2] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/E...

[3] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/E...

[4] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/E...

[5] https://en.wikipedia.org/wiki/Abstract_nonsense
I know many of the unpolled 1 year olds who are now 24 probably never thought the war was a good idea.

My point is that America in 2003 feels the same to people who were alive then, but blaming Americans alive today for Iraq is like blaming Americans alive in 2003 for being pro-Grenada.
Well, Iceland is... ironically, always of "fire" though. Geothermally speaking.
I think the room for improvement is much smaller when it's content aimed at toddlers. I don't find it improbable that we've already reached the "peak".
Not just formally but also stylistically. Composable lemma and composable functions are two leaves of the same book. The construction of a proof is to convince the reader of the correctness of the logic and this is exactly the same goal of a mathematical author as it is of a computer programmer.

Business really interferes with the goal of the mathematical programmer — proofs of concept, hacks to get MVPs over the line, throwaway demos to investors etc. — but after a certain point the value of the codebase becomes entrenched into the value of the business and that’s when you need to bring in the mathematical coders to constantly refine and prune your codebase into something that will survive and bear out the earnings per share values.
Interesting! I had no idea you could even store files in it!
Right, constant streams of unfiltered random content, uncorrelated with our intentions, are not what we evolved for.

We are also not evolved to handle constant streams of highly curated content, harnessing the psychology of addiction, leveraging our individual interests (conscious or subconscious) to advance other’s economic interests.

What we need: content curated by our chosen specified interests and quality bars, however refined we wish those too be, and completely agnostic otherwise.
My thought when I saw the pictures: they really know how to make digital pictures look as nice as film these days...
Because when your docker server gets smoked, what happens? If you're using Swarm or Nomad or k8s, there's an argument there. `docker run` isn't.

I've very recently moved over to a home k3s cluster--a couple old desktops and some relatively new ARM SBCs with NVMe slots. I don't use it at work, at least not directly, but it's been the least-painful solution I've found to run stuff; once you understand the model (not trivial but not crazy) and find the headspace to explain why things in k8s are the way they are, reasoning through it is pretty easy (which is really just the story of any moderately complex system, exacerbated in a few ways because of some Google-attitude carryover), and I can also yank half the machines out of the cluster before an application fails.

(Both Swarm and Nomad are fine tools, but the lack of easy resources to get up to speed led to me failing them out of consideration.)
>Actually I think patents do far more harm than good in our economy.

How so? Nobody would bother investing in R&D if after all their labor and toil, someone else would be legally allowed to copy it for free and get all the profits without having had any of the expenses and risk that come with hardware R&D.

The (US)patent system has its flaws, but without one it would be even worse.
As someone who contributed to this benchmark it really isn't a great one. First of the JSON parsing is done before the timer starts. If you look at the raw results you can see that the full runtime of the Julia solution for 60k posts is actually 9.6 seconds (compared to 3.7, 3.8, 4.4, and 7.9 seconds for Rust, Go, Zig, and Nim respectively). The only thing it really measures is hashing and hash table performance (with a sprinkling of GC and memory management). And of course with any benchmark like this how much dev time each respective language put into the benchmark.
I agree with this statement. I’m sure if you wanted to get all philosophical about it you could pick holes in this idea.
Show HN: Llmfao – Human-Ranked LLM Leaderboard with Sixty Models
In September 2023, I noticed a tweet [1] on difficulties with LLM evaluation, which resonated with me a lot. A bit later, I spotted a nice LLMonitor Benchmarks dataset [2] with a small set of prompts and a large set of model completions. I decided to make my attempt without running a comprehensive suite of hundreds of benchmarks: https://dustalov.github.io/llmfao/

I also wrote a detailed post describing the methodology and analysis: https://evalovernite.substack.com/p/llmfao-human-ranking

[1]: https://twitter.com/_jasonwei/status/1707104739346043143

[2]: https://benchmarks.llmonitor.com/

Unfortunately, I did my analysis before the Mistral AI model was released, but published it after the model was released. I’d be happy to add it to the comparison if I had their completions.
> Secondly verifying designs which use unaligned instructions is difficult because there are many different cases to consider (especially instructions crossing cache lines and pages).

I don't see how this applies to RISC-V compressed instructions? As far as I understand they're always 16-bit and always come in pairs such that 32-bit instructions are still perfectly aligned.. no?

I'm not entirely convinced by the "huge i-cache" argument either. Fitting more instructions into the instruction cache is always a benefit. Moving less data around is always a benefit. And the RISC-V compressed instruction scheme is so simple it doesn't really cost much. Put another way, if they supported compressed instructions maybe they wouldn't need such big I-caches and could fit another core or accelerators instead?

> Compressed instructions consume 75% of the instruction encoding space. The thought is that without compressed instructions occupying that space, more 32-bit extensions can be added before we need to use longer instructions.

This argument I can buy though. I could see the point that there are more complex instructions that they want to use the encoding space for in a high end server architecture. But can they? Is that supported by the standard?
It's free and trivial to backup a password database any number of times. Even storing it with a cloud provider is nearly free, because they are so small. You can even automate verifying that all the backups are accessible and valid. When you create a new account with a new service, your daily backup will pick it up immediately.

With passkeys you have to buy multiple phones, sign each of them into every one of your accounts, then keep them physically distributed (no cloud storage for phones). And to make sure they still work you have to periodically manually go and interact with the phones physically, even the one you stored in a bank vault. You also have to do this if you sign up for a new service.

Not to mention the inevitable services that don't allow multiple passkeys.
The Loneliest Roads in America