skysight-inc/HackerNews huggingface dataset:
I think LLM checking is going to be the most important research direction this year. Generative models are worthless without verification. It relates to deciding truth and dealing with fake information, synthetic text and spam. Google hasn't been able to solve it in the last decade, but some people have an idea:

> "Discovering Latent Knowledge in Language Models Without Supervision" Existing techniques for training language models can be misaligned with the truth: if we train models with imitation learning, they may reproduce errors that humans make; if we train them to generate text that humans rate highly, they may output errors that human evaluators can't detect. We propose circumventing this issue by directly finding latent knowledge inside the internal activations of a language model in a purely unsupervised way.

https://arxiv.org/abs/2212.03827

In other words the model already tries to predict the truth because it is useful in next token prediction, but we need to find a way to detect the 'truth alignment' in its activations.
Balloons can loiter over a location.
This would not work for a exchange. What I work with is an UCITS mutual funds system. Once per day, we get a new price for each fund (the NAV, Net Asset Value). We now need to settle all orders, subscriptions and redemptions, waiting for that NAV. This is of course time critical, but not in the millisecond-sense: As long as it is done within an hour or two, it is all ok.

I believe this holds for very many business processes. If you get a new shipment of widgets, and you can now fulfill your orders waiting for those widgets, it does not really matter if it takes 1 second, or in a very bad outlier day, occasionally 2 hours.

Realize that the point is that this settling, or order fulfillment, will go as fast as possible. Usually within seconds or maybe minutes. However, if you suddenly get a large influx, or the database goes down for a few minutes, this will only lead to a delay - there is nothing you need code up extra to handle such problems. Also, you can scale this very simply, based on what holds you back (services, or database, or other external systems, or IO). It will not be the messaging by itself!
> turning SQL into a full scripting language

That's what PL/SQL and T-SQL basically are. They work, but they have a somewhat weird programming model, halfway between programming and declarative sql but being neither, with table cursors and stateful SQL queries.

And of course, their scope is limited to interacting with the database itself, not the outer world.
It seems to be: "What's your production setup if it's not cloud-based?"
The real reason we don't have (socialized healthcare) which is the insinuation, is because of bribery (better known as lobbying), and predictibly, the top lobby sector is Health:
https://www.opensecrets.org/federal-lobbying/ranked-sectors
Yes, you can find our investigation here. We scoured the literature for historical reference to psilocybin mushrooms. Also investigating art! That’s what led us to the 118 prehistoric mushroom carvings on Stonehenge. But even these are not psilocybin!
https://research.tudelft.nl/en/publications/the-enigma-of-mi...

Fool’s mushroom also does not have psilocybin.
This renders the extension pretty useless for older papers, doesn't it? There doesn't seem to be a fallback to prompt older papers in a whole because it exceeds the prompt limit.
Maybe, maybe not.

Maybe Apple will come up wih the next revolution in human-machine interface. Who knows?
Not sure about the claim that async has better Transactionality then REST.

>Transactionality: Each endpoint has either processed a message, done its work (possibly including changing something in a database), and sent a message, or none of it.
https://archive.ph/ZnUsE
> It's easy to write things like this when you're at the wrong end of the Dunning-Kruger bathtub

Amusingly, only the most simplistic graphs of the Dunning-Kruger efect would portray it as matching a bathtub curve. In particular the rather slow slope of confidence rising as competence improves is dramatically (and significantly) different from the sharp drop-off of false confidence. Rather than two steep sides, there is a marked asymmetry.

I suspect that you may have misunderstood the author's point though. Even if you swap the arguments as you suggest, you still run into this problem described in the link that the author provides:

When used on a text mode stream, if the amount of data requested (that is, size \* count)
is greater than or equal to the internal FILE \* buffer size (by default the size is 4096 bytes,
configurable by using setvbuf), stream data is copied directly into the user-provided buffer,
and newline conversion is done in that buffer. Since the converted data may be shorter than the
stream data copied into the buffer, data past buffer[return_value \* size]
(where return_value is the return value from fread) may contain unconverted data from the file.
For this reason, we recommend you null-terminate character data at buffer[return_value \* size]
if the intent of the buffer is to act as a C-style string.

i.e. his complaint is that if he initialises the buffer to zeros and reads N bytes into it there is the possibility that zeros after the N bytes are overwritten.

This is distinct from the problem of not getting enough information back if you swap the argument order, and as it matches his decription in the text before the link I would assume that the swapped arguments are actually a typo rather than a misunderstanding of the API.
> no matter how efficient

Well... these things matter a lot !
Sounds great, except that you'll use half your vacation days on the trip plus the return trip.
So we are one step closer to creating Bender
I will probably stick to JabRef, which is bibtex-driven.

But the pdf-folder scanning feature sounds pretty cool!
> No mention of printf and scanf. Printf is annoying because of the PRIu32 macros in case you want to print uint32_t in a portable way. How about conversion specifiers for the stdints.. %u32 %d32 or whatever.

C23 fixes this - it introduces %w32d as a replacement for PRId32, %w64d to replace PRId64, %w64u, etc.
Another pro in my book: it "compiles" to a single binary. I was writing a small side project and when it was time to deploy, it was as easy as to push the binary to my server via `scp`. That single binary also includes a copy of `sqlite` since it is a WASM dependency. Also, cross compilation. I can compile it from my m1 mac for an x86 linux server.
I'm not sure and it was a few years ago.

I faintly recall being able to do it online but there is a fair chance that I missremember.
With an appropriately configured CI pipeline, submitted / pushed code does not go live anyway, unless all tests and other checks pass. Unless a test case is missing, which can happen in a mono repo just as well, the code is always checked for the defect.
I'm wondering about two things related to development of customer-facing programs that use paid APIs in the background:

Are you using your own API key and pay for the usage? How can you justify operation of programs that produce high costs but no income?
Isn't the API publicly exposed to the client-side and possible subject of theft and abuse?
This is the sort of simplistic analogy that excites and inspires students who know nothing of the real world. They'll soon realise its flaws when they step out of the ivory tower.
Current Firefox supports filling regular PDF forms properly, they can be read by Acrobat and Apple's Preview without problems. It also allows creating annotation, in which case it's actually like drawing on top of the PDF.
Sure. Lots of upside potential. Which makes it an uncertain bet. Less certain maybe.
I am afraid, some day, the "Portable"DF ecosystem will be fragmented and guarded by wannabe monopolies like all those CAD formats. Does adobe try to monopolise the PDF ecosystem and pulls dirty tricks?
I think you may have lost track of what this thread is discussing.

To be more concrete, let's say you have the following code (pseudo-Go):

package main
import "example.com/http_server" // v2
import "example.com/utils" // transitively depends on http_server v1

function main() {
var srv *http_server.Server = http_server.New()
utils.ServeHttp(srv)
}

You're going to have a problem, because ServeHttp expects an HTTP server struct from the v1 API, and you're passing in a struct from the v2 API.

If you tried to write an adapter for this then (1) you'd need to somehow construct a concrete proxy of a type you don't control, and (2) there's no way to import both the v1 and v2 APIs at the same time in your code, so you don't have a way to declare a conversion function.

That's why APIs with versions declared by dependency edges are impractical.
DuckDB 0.7.0
Creating a new language that interoperates with another is way different than retrofitting an existing language to add types.
This explains a lot about the GNU project.
DOM parsing is not necessary until it is. Sometimes you can get away with parsing the stream twice and still beat DOM parsing, but not always.

Stream parsing is indeed preferable when you can get away with it.
You've got a great future at 𝑇ℎ𝑒 𝐴𝑡𝑙𝑎𝑛𝑡𝑖𝑐 if you're looking to become a professional at this.
Is there really any "loading" going on, or is that just a branding screen? Those consoles use ROM chips that were fast enough, and the Genesis, for example, only had 64 KB of RAM, so there wasn't even the need or possibility for "loading" a lot of things into the RAM like today, nor was the CPU fast enough to compute anything during boot that couldn't be pre-loaded into the ROM.

I also remember some of those being totally skippable as well, not only in the Genesis but also in other consoles. On the Neo Geo, for example (same CPU as the Genesis, 68000), putting a coin completely skips the (kinda long) 7 second logo intro.
Yeah I know why you made the comment, my VPS burned. If you think other providers aren't as cheap as OVH you're probably wrong, and in any case, you should always have an other location redundancy if you're doing something critical.
What did you mean by weird symlinks? I've been doing TypeScript a few years and havent had to interact with symlinks.
Hey, don't get me started on semantics... what if you trim from the left or right, but are using RTL. Imagine your surprise when the exact opposite happens.
Wow life is really simple

(The OODA concept is more about modelling your opponent in a competitive game so that you can analyse the opportunities for disrupting them. A competitive game like “dogfighting” or “Cold War counter-intelligence” or “the market for office software products”. When you describe it as “repeat ad infinitum” it sounds like a neat piece of life advice for how to approach any problem (again, only competitive games!) but you’re missing almost the entire message and in essence saying something about as useful as “use your brain to solve the problem”. As long as you’re not asleep, it’s impossible not to be following OODA. Literally anything you do will satisfy it. That’s why it’s a good model for an opponent. And it’s also why it’s a great tool for convincing yourself you’re some kind of strategic genius because you can recognise these very normal things happening in your own brain.)
I found it liberating to ignore strtok and friends even when coding in C :)
> What do you think is its source?

Really good question. I think it can be a combination of vehicle/road/highway noise, industrial noise, power plant/turbine noise, aircraft noise, and who knows what else. It seems hard to localize by ear, and the actual source could be miles away.

In some cities I notice buzzing electrical transformer noise which isn't quite low frequency rumble but it is still annoying.

There are probably other bizarre and mysterious sources of noise - I recall a story of residents of Sunnyvale (?) being disturbed by Apple's underground vehicle testing site which apparently operated at night.

Some companies and research labs do seem to run loud equipment and engines at night, I imagine because it would be too loud for employees who work there during the day. ;-)
Well, the problem is not getting easier and having poor versioning has been hunting everyone for around as long as null references
Unironically, this is way more futuristic than the current state of walled-garden affairs.. This is how I want my computing, open, cooperative and expandable.
I've already seen the conspiracy theory posts claiming this is a precursor to governments mandating online IDs and tracking to guarantee "humanness" in online activity.
Firstly, Duetsch’s book is rather old now and it would be interesting to hear how his ideas have developed over the decades.

These virtual particles of which you describe appear to be of the particle being measured. So these aren’t just “some” virtual particles, they are THE particle you are trying to measure, only “ghosts” which react with nothing but themselves (so the particle only appears influenced by its own shadow particle, not those of others.

The multiverse conjecture does not necessarily conclude that whole, functional universes also exist (“out of phase” or something), it may be more like a dense plume of potential of which ours is a stable hyper dimensional manifestation. Ours may be the only one complete with stable laws of physics, where the other(s) are the vat of ghost particles refracting from whatever this manifest universe is doing.
It’s a lot more than “consumer electronics”. When I upgraded my i7 last year for a base model M1 chip, I found that all of my c++ code ran vastly more quickly on a machine that cost about half as much as what it replaced. What is strange is that if you look at the raw specs, it should not have been near half in execution time —- there’s definitely some fascinating things going on in that chip.

The unified memory architecture of Apple Silicon is particularly convenient for anyone building stuff using both a CPU and GPU.
This guy should be on HN to tell some stories :)
https://www.linkedin.com/in/jonathan-egstad-7113002/details/...
She's very clear that what's being done is the "horrid crap".

"What’s happening to children is morally and medically appalling."

You probably think you're supporting a good cause, but you're not.
Why Singapore Is Breeding Millions of Mosquitoes
But CSS has almost never been decoupled from content. Yeah, there is zen-garden, but no real world CSS would be applicable to a different website just as is. They depend on the exact html structure, what is inside what, etc.

If you add this to the fact that you would actually write a <Component> and only specifically style that “inline” once, then you are actually better off with tailwind.
Well, latency/capital required to lower it gonna kill ya too. Fees are an issue like the blinds in a pro poker game that you don't have the access to our buy-in for either.
> typescript's decorators

Typescript has decorators?!!

Damn, i wish I'd know about this 3 months ago.
The extension here does not include an API key. You either need to log in using an account or provide your own API key in its settings.
Well, 0th order approximations are fine if the gradient is indeed about zero for all intents and purposes. It's just very much not the case for exponential functions.

Maybe your analogy could work if you want to say that exponential growth might feel like linear growth locally?
It asks the user to sign in to chat.openai.com
I'm so glad this sentiment is being spread more. So tired of explaining that when I complain about SQL I *emphatically do not mean relational databases in general*, only to have everyone counter with "but relational stuff is good!"
Could be interesting. One way to do it would be to have a training set and a hidden test set, and mining a coin means arbitrarily high performance on the test set. In order to keep the test set hidden from miners (otherwise they could just memorize it) they would need to upload their weights to be validated.

The main issue I see is that many of these models are massive. Dozens of gigabytes. You’ll quickly DDOS your validator nodes before getting anything useful.
Windows 11 pinging Steam on a newly purchased, clean laptop? WHY?
If anyone from Valve is here, in a position to answer: Why on earth is Windows 11 pinging Steam servers immediately after the FIRST boot, on a CLEAN, newly purchased laptop, with nothing installed, and without user consent?

What data is being shared?

What's the nature of that specific relationship between Microsoft and Valve?

CONTEXT (Source): https://www.youtube.com/watch?v=IT4vDfA_4NI

Additional coverage: https://www.techspot.com/news/97535-windows-11-spyware-machine-out-users-control.html

I really hope we can get an official statement, so the open source community can (hopefully) continue appreciating what Valve does for Linux and gaming.
Don't forget the brave Dutch battalion that protected the civilians of Srebrenica in the secure UN enclave, oh wait, they didn't, they handed them off to Serb forces to be executed.
practice reading with understanding mate
The big point with messaging is that you have rollback, and retries. Mats leverages this.

If Stage N in the total process has picked up a message, starts to process it, and then something (temporarily) fails (or the node crashes), then it will roll back whatever DB operations you have done up till then, and roll back that it has picked up the message.

The MQ will now reissue the same message, and it will be picked up again. This time, things work out, a new message is produced, and the entire processing of this stage is committed.

So, either you have received a message, done your DB-stuff, and sent an outgoing message, or you have done none of that.

I do not see you easily do that with REST. Or at least you will have to code quite a bit to get such nice semantics. With messaging and Mats, you get it entirely for free.

To be fair, it is not entirely true. There are two separate transactions going here, and it can fail in an annoying way. I write about this here: https://mats3.io/using-mats/transactions-and-redelivery/
Couldn't you drill from outside the park? I hope no one would really want to build something like that in the park, but the area around it has enough land that's currently used for crops (no nature destroyed drilling there) and is still close to the park.
To add on to this comment, For the last 5 years filing my taxes in the Netherlands has involved logging into the tax app on my phone and then clicking the "yep looks good" button. This year I bought a house so perhaps it'll get a smidge more complex, but my mortgage has already been sent to the IRS-equivalent so I rather expect it to stay roughly the same level of complexity.
Absolutely, a couple years ago KiCad wasn't ready for production use, even just a day a month of hitting some obscure issue would have paid for the AD licences, never mind the better part libraries etc. Now of course you'll need the AD licences to work on old designs anyways so it's tricky to transition.

Over the weekend I put together a toy project with a few ICs and maybe a dozen passives in KiCad and I was amazed to see how easy everything was. And now with a new release they're probably fixing things I hadn't even been annoyed by yet.

Hopefully having an open codebase means we start seeing some nice autoplacement and autorouting trickle in from hobbyists and academia, like we've seen in the 3D printer slicers world.
It is the way I always wanted to use JavaScript, but was too cumbersome to utilise without a good type system.

My favourite use-case for discriminated unions is to represent all possible client events as a DU, as well as the entirety of the application state. This allows you to efficiently communicate with a backend over websockets via a very thin transport layer that only needs to handle one message type.
then batch summarise your paper feed every morning
Which is exactly why, as GP noted, rust deprecated trim_left/trim_right and added trim_start/trim_end.
Same, anything with "top down" which is most of the seamless textures you want.

Still, amazing functionality!
Thanks for mentioning! Fixed now.
There's a moon in that video. That'll give you the angle more accurately than a building.
Man if only the authors of such papers would write small summaries about the content and put them in the papers themselves or something
Is it really about being "good enough"? With the crazy amount of interdependency between applications and system software, is it even possible for a single person to solve the issues enumerated by the author? Sure this seems to be written in the 90s, but even back them that seemed impossible.

Even luminaries like Alan Kay have been trying (with projects like Viewpoints Research Institute) to make computer software "simpler" (for lack of a better word), but is it really feasible when the whole industry is moving in the complete opposite direction?

A lot of people can make a fast and simple enough Operating System. A lot did when back in the day at https://osdev.org/, and some probably still do. The problem is "drawing the rest of the owl": the apps.
I've seen so many s*ht reviews already. Perhaps, just perhaps, a LLM would make better ones.
You ain’t writing HTML like “here is a 10000 line file, let’s style it”. You almost always have some repeating components (which is a shame that it wasn’t really a well-defined thing for so long in web circles, this is like the most basic abstraction of frameworks from the 80s), and you make that HTML file from multiple of those. These inline styles are just the implementation of your <Button> — changing that will change every button of yours.

Hickey’s talk is a very very great talk, but I fail to see its relevance here. All tailwind does is give names to often used css attributes and allows one to apply them very specifically. It has no strange abstractions going on, it is basically “developer WYSIWYG” for CSS styling
Well yes in a way, the extension settings include the prompt they're using, so you can formulate your own prompt along the same lines.

I think the extension is only useful for someone who spends a lot of time doing research on arxiv.org, (and if the quality of the summary is good enough, the jury's still out on that one)
During the balkan wars in the 90s people would jokingly call them "smurfs".
Could you link the photos?
At current prices, PV and many wind installations will still be cheaper than this project + transport cost. So while it could be critical for the grid, you would never rely 100% on it. The US already stores nuclear missiles not too far away from it, so I guess the military is confident they can keep that area from being attacked.
Your point abour the "TypeScript subset" of the package ecosystem is good. However, I've found TS support (native or via @types/) tends to be a strong indicator of package quality.
>Ray tracing IS the logical increment the industry has decided on though.

I disagree. Nvidia decided it didn't had enough exclusivity, if the industry decided it was a logical increment then it would've had to come as a request from video games and video games engine developers towards hardware companies. It would've been a more natural progression, we wouldn't have it now and also it wouldn't feel like it's in a perpetual beta phase.
They had yellow badges (at Google, regular employees had badges with no color, contractors had red, and interns had blue). The symbolism of yellow apparently was lost on the HR people who chose that color.

<holocaust yellow star of david jpeg>

The Yellow Badges were not permitted to go anywhere else on the Google campus, and they couldn’t even get into the microkitchens in their own building.

Is this real life or is the proportion of googlers with severe brain damage on the increase again?