skysight-inc/HackerNews huggingface dataset:
RAII. Or linear types.

The problem errdefer solves is “resource passthrough” where a function needs to acquire a resource, do some faillible processing, and return the resource.

In case the processing fails, the resource needs to be released, which an unconditional “defer” is not great for (now you need extra flags).

But RAII solves the issue, in case of failure you just don’t return the resource, and it gets released. Likewise linear types, if you don’t return the resource you will have to explicitly release it.

Errdefer only adds a workaround, because now every time you acquire a resource you need to question how it interacts with the call stack and whether you need to defer or errdefer it, and any change to the function requires reconsidering this question.
Well, enterprise VPN clients have build in similar attestation[0]. So probably there are cases when it could be useful in browsers. The question is not if there are use cases, it is "can we stop all websites from requiring it?" and the answer is no.

[0] The Linux support for that goes from "bad" (check `uname` for version kernel) to none. At least with one client I had to use copy of "system report" file from Windows machine and it worked. Makes me wonder how much of it is just security theater.
Since it "gives" the same information to everyone there aren't really that many incentives for you to allow LLM to use your content. "tragedy of the commons" and all that stuff...
But a model learning from data and reproducing it in some fashion is absolutely not perfect information transfer.
it probably does work fine if your job is to only to prove theorems. the theorems will wait for you overnight.
Can a design from scratch be better than something that was iterated and improved in centuries by thousands of people?
Well, do you know the experiment where women were asked to smell shirts worn by men overnight? When they were ready to conceive they liked the smell of male sweat, otherwise they'd say it stinks. When women get off the pill to have children, it happens that they don't like their partners smell anymore.

[edit]
Seems i expressed myself badly in my original comment. It quite possibly is my central point and i feel sorry for scientists believing this. I fear they have an antisexual religious upbringing like i had.

https://en.wikipedia.org/wiki/Vomeronasal_organ?wprov=sfla1

Why should the organ which tasked to find a mate, to have healthy children with, not work in us anymore? It can be damaged in people having their nose done, it gets broken in the process.
https://archive.is/oFfEu
Yep, surely you also know the world has changed dramatically since then too, especially in regards to information security. International automated scraping and spam, identity theft and even stalking are now international activities. People weren't under such high pressure from information threats in the ye olden days.

Name and phone numbers are Personally Identifying Information in most countries with strong privacy laws, for me I cannot store that info privately without consent let alone make it public.
Nvidia's CUDA Monopoly
> Can you share your knowledge with millions at once?

Yes, I might run a course or something. You are still not entitled to pay.
Just set things up locally last night. If you're a developer, llama.cpp was a pleasure to build and run. I wanted to run the weights from Meta and couldn't figure out text generation web ui. It seemed that one was optimized for grabbing something off HuggingFace.

Running on a 3090. The 13b chat model quantized to fp8 is giving about 42 tok/s.
Much of that is Azure credits and not real money.
we live in representative democracies, supposedly because it is(was?) unfeasable to have everyone vote on every little thing. The idea then is, that people elect those who have the policies THEY want, as a whole. This is what representative democracy is sold as, but in reality its about who can promise most braindead shit, cherrypick the exact experts that can be paid to agree with them, and then probably do something different than what they got elected on.

Representative democracy where it actually did as promised, would be that the elected people would do what the ones who elected them wants.

>My entire point is most people know nothing about science, why should they be making these decisions? Many people believe Covid-19 is a hoax and that the earth is flat and that vaccines cause autism, should we really be taking their opinions on matters they don't know about seriously?

So... should we let them vote? and also, I dont give anything for this argument. The so called experts lie and get shit wrong all the time aswell.. How about when the experts and talking heads said "sars-cov2 is only gonna be a thing in places without healthcare, its scaremongering to say anything else, you have more to worry about from the common cold!!!". or "masks dont work!!". Or along the same topic, 100 years ago in new zealand during an outbreak, the so called experts decided that everyone should open their mouths and inhale some zinc sulfate as it was believed by the experts to stop virusses. Whoops!

Oh, and lest we forget, it was the leading experts at the time that believed the earth was flat, and would enforce it on the populace with an iron fist. Lets think, what has recently been enforced on people with an iron fist by experts?
If you’re just looking for some basic remote on/off functionality for your heating and hot water, with built in timers, not dependent on any cloud service or app, may I wholeheartedly recommend Shelly relay products. Simple web interface and easy to physically wire up. MQTT if you need to wire them up to HA or Graphite ( power meter varieties) or whatever.
It’s so now they can lobby for anti scraping regulation and hamper any possible catch-up.
They have a blog post about it from way back. Essentially the map changes depending on context so you don't need to see store names if you are zooming down the freeway by the side of it, you might see road names if walking and navigating, but not if you have gps in a car, you might see more restaurants if you came to maps from a restaurant search context etc etc
I think you have no idea what it costs to live in most parts of the world.
Actually, human perception is incredibly good, though I agree prone to biases. But there are no double blind studies on this, so why dismiss experts' opinions so readily?

> Electronic keyboards have weighted keys and similar tactile feedback to regular acoustic pianos, so this is a solved problem.

For professionals, the difference is huge. Seriously massive, on even the most expensive electronic keyboards. This is why I replied (unusual for me) - saying "it's a solved problem" is so far off the mark
Increasing tax rates doesn’t always increase tax revenue.

It’s like every year some government somewhere learns this the hard way.
Believe the point is that resizing partitions is easier with those FSs. But not a big deal since Partition Magic.
Sure. I already use several rate limitation measures, return fake data for repeating offenders, and also outright block some others. It is still laughable that a somewhat "reputable" bot does not even know about basic HTTP headers.
Show HN: AI/LLM driven GitHub PR reviewer
Hello HN readers!

Our team has built an AI/LLM-driven code review tool that significantly helps improve dev velocity and code quality.
Its unique features are:

- Line-by-line code change suggestions: Reviews the changes line by line and provides code change suggestions that can be directly committed from the GitHub UI.

- Continuous, incremental reviews: Reviews are performed on each commit within a pull request rather than a one-time review on the entire pull request.

- Cost-effective and reduced noise: Incremental reviews reduce noise by tracking changed files between commits and the base of the pull request.

- Chat with the bot: Supports conversation with the bot in the context of lines of code or entire files, helpful in providing context, generating test cases, and reducing code complexity.

- Smart review skipping: By default, skips in-depth review for simple changes (e.g., typo fixes) and when changes look good for the most part.

We would love the HN community to try it out in their GitHub repos and provide feedback!

We will happily answer any technical questions regarding the sophisticated prompt engineering we did for this project.
And it took Amazon nearly a decade to get back to their internet bubble highs. PL got SPACed onto the stock market during the SPAC bubble.

That being said, while I do believe that Planet has one of the best business models in the industry, I do sometimes worry that they are a bit early, and their customers aren't ready for them yet.

As someone who has to work with their data (among others), Planet has some of the best APIs in the industry (it's a low bar though).
Not only that, but also city and village-names (especiqlly when the map is in directions-mode). Total bollocks for a maps app.
I definitely prefer the ANSI left shift key, but I am keeping my ISO enter key, thank you. Indeed, I have a keyboard with an ANSI left shift and an ISO enter key.

But honestly, why not just use US Intl AltGr dead keys?
Alternative title: Edsger Dijkstra’s work-from-home workweek.
https://archive.is/sd1td
Finding Your T-Shape
As an aside, does anyone else experience a borked scrolling experience on that website using Firefox?
Even if training a model turns out to be similar to human learning, I don't think it necessarily follows that it should be treated the same, legally or morally. There's nothing wrong with human laws or morals that enshrine human behavior, like the human way of learning, as special and distinct from machine learning.
I would be shocked by this, but I just finished reading "Noise: A Flaw in Human Judgment" by Daniel Kahneman (the author of Thinking fast and slow") and therefore I'm not at all surprised. In the book they show many well-documented examples where experts (including doctors) are giving wildly different judgements on the same case. In this specific article there's another factor that compounds the problem; bias towards more expensive treatments.
I don't think it's technically able to do that. It just tries to "guess" what the right source. It might get it right more often that not but that's not exactly what a citation is.
Democratically elected once vetted by the donor class
The lisp stuff in the bio sounds interesting too (https://timonoko.github.io/Timo_Noko.htm)
Allocator trait 1: Let’s talk about the Allocator trait
Apple bet on Pixar tech to make the metaverse work
I was motivated to digest the stirrings of a crazy man, and it was a wild ride, ho(o)-bo(y).
Just a couple weeks ago, Google announced they're going to re-photograph Street View in my country, though, which is still running on the initial 2007ish data. How would that be profitable? The idea of virtual ads placed onto pseudo 3D walls was already present when Street View started but apparently didn't deliver economically. Maybe they want to break resistance this time around as they had lots of data protection complaints/requests for blocking a particular lot from displaying unblurred at my place?
yes and killing off the sea birds
This is all perception and especially for Canada most of the general view is just unbelievable massive incompetence rather then corruption.
8 Code Quality Tools to Use in Your Long-Term PHP Applications
Well, if news links are banned, how are people going to become angry and build outrage?
I haven't ever heard of DisgraceDB. But I guess the standards for admission are deplorably low, adding people when the jury is still out on whether they actually did what is claimed.
That’s a good point, I hadn’t thought of these cases.

On a second thought, I guess a lot of marketing content would also love to be crawled by anything that crawls…
Unwrap and fromJust can be disallowed if need be, they are "unsafe" convenience functions whose use can and should be tracked. Not all languages with sum types will permit them. Rust also has "unsafe" code blocks, should we also claim it is therefore not memory safe? Some would try to do so, but at least this unsafe code is tracked and not idiomatic.

> programming languages are not mathematics

This may be how you choose to view them. But many of us seeking to build safer and more correct software aim to make programming more like mathematics. Mathematics tells us how to compose and tells us how to prove. Both things the software industry is currently failing at.
Is it just me or have you guys also noticed that the routes suggested by Google Maps have gotten worse?

It seems that it only takes into account current traffic jams and not the ones which will occur 30mins into the trip.

For instance, there's this spot in my city where I know there is a traffic jam at around 3:20 PM every day. I usually set off from home around 2:50 PM, which means I'll hit that congested area by 3:20 PM. Interestingly, there are a couple of alternative routes I could take to avoid getting stuck. However, Google Maps keeps pushing me towards the route that's bound to get jammed, simply because there's no traffic showing at the exact moment (2:50 PM) when I'm starting. Doesn't it make sense for the app to use past data to predict the traffic jam?

On the other hand, it often insists on taking me through strange shortcuts and weird backroads just to save a minute or two.
Applied math major here. It's practically CS anyway!
Two different people in this article are quoted (via the documentary) as being willing to kill themselves for the cause. Not just die in war, but actually kill themselves.

Is this level of fanaticism compatible with modern military practice?

Something I’ve learnt from following the war in Ukraine is that modern military practice has come a long way from WWII, Vietnam, and even later wars. Part of the reason Russia has mostly failed in their efforts is that they are an outdated military in terms of technology, leadership, structure, and doctrine.

So where is China at? I understand technologically they’re improving all the time and really quite modern. I suspect this level of fanaticism though does not work with modern doctrine. It’s debatable if it even worked for the Japanese in WWII.
Blinky to Bootloader: An 18 video series building firmware for STM32 Cortex-M4s
Banks don’t lend money in their reserves, they create new money. The various sibling conversations go into more detail.
Both pronunciations are acceptable: https://en.wikipedia.org/wiki/Names_of_the_Celts#Pronunciati...
When I was in libraries you could photocopy a percentage of a book (15% maybe?), although I doubt it was enforced. One could do many trips, but it is impractical, as you say.
I'm glad you brought up Batman; that's a great example: Batman violates everybody's civil liberties by creating a panopticon device that spies on everybody to catch one terrorist, but it's okay because he's Batman, the good guy, and he's fighting the evil terrorist who's evil for the sake of being evil. And then the audience gets to feel good about this not-so-subtle allegory to the American government's response to 9/11 because Batman has his friend destroy the panopticon device once the terrorist has been defeated, showing the audience that the good guys can be trusted to relinquish these great powers once the crisis has passed. Except in reality that never happens and those powers are not just retained but greatly expanded. The narrative is a sweet lie that the audience feels good about, making them complacent towards reality. You saw this one, right? It was very popular, audiences clapped like trained seals.

And then here you are calling Batman an idiot for having any boundaries at all. It's a no-brainer that he should be murdering bad guys without so much as a trial; it would be fine because he's the good guy so obviously he'd get it right. The great atrocities of the 20th century were perpetrated by people who felt certain the ends justified their means, but fictional media has you thinking that reality is unrealistic. Capeshit is trash, it rots your brain. It belongs in the rubbish bin.

Ironically, characters who speak as you do would make excellent villains in stories with nuanced morality. You seem certain that you're in the right as you speak of murdering people. This exemplifies realistic evil.

From A Man for All Seasons, a play by Robert Bolt:

Roper: So now you’d give the Devil benefit of law?

More: Yes. What would you do? Cut a great road through the law to get after the Devil?

Roper: I’d cut down every law in England to do that!

More: Oh? And, when the last law was down, and the Devil turned round on you – where would you hide, Roper, the laws all being flat? This country’s planted thick with laws from coast to coast – man’s laws, not God’s – and, if you cut them down – and you’re just the man to do it – d’you really think you could stand upright in the winds that would blow then? Yes, I’d give the Devil benefit of law, for my own safety’s sake.
0.1% chance

My reasons are:

- I don't recall seeing any evidence that OpenAI has included new data in pretraining beyond the previous limit (Sept. 2021?) for GPT-3.5 or GPT-4

- Maybe they did finetuning or RLHF on new data but this is likely to be highly curated data

- AI generated content should be absolutely tiny in comparison to the data they are already working with.
> so it's not really possible to map registers 1:1

Oh it's definitely possible. I know this because I'm writing such a VM right now. (:

But I should have been a little more precise, sorry. By "without having to spill the registers" I didn't mean that you don't have to ever temporarily push anything to the stack, just that you can keep all of the RISC-V registers in native AMD64 registers all the time instead of having to keep some of them in memory (which you'd have to do with a full fat 32-register RISC-V ISA).

In general with rv32e/rv64e at most you only need 15 registers because one of the registers is the zero register. This allows you to assign every RISC-V register to an AMD64 register and keep rsp for the native stack. And if you only want to support bare metal userspace RISC-V code with normal ABI then it gets even easier because you only need 13 registers (gp and tp will be unused), so you'll have two extra temporary AMD64 registers to use.

> Also some instructions on x86 need extra registers, or they can only refer to fixed registers (e.g. EAX and EDX for multiply-high).

Yes. For example, the shift instruction hardcodes the shift amount in rcx. For the 15 register RISC-V you'll push rcx temporarily to the stack, and pop it after the shift, and for the 13 register RISC-V you can just designate rcx as one of your temporary registers, so you only need an extra mov here. Or you can use the shift instruction from BMI2, which doesn't hardcode the register. There are ways to handle these.
> I get the impression that post office staff quickly become jaded from being nagged about packages, especially by elderly people. After all, the elderly don’t have to work, so they can come to the post office every day and ask insistently for packages they know are on the way, but haven’t yet arrived. So, by the time you went there with your problem, any last bit of good customer service had been burnt out of the clerk.
Obligatory business listing:
https://goo.gl/maps/nRH1hnjAkJKfpLcu8
(yes, this is real and apparently pretty decent)
(and yes, the name went viral which doubled the marketing win)
No way. “Ñ” is not in the natural place for Spanish speaking people.
"generating architecture diagrams directly from the code - the source of truth." becomes a lot easier when the source code is the architecture.

When you can express the architecture directly in the code using an architectural programming language.

https://objective.st
Wow, I also have Raspberry Pi, but I never thought like that, good point.
Kermit protocol streaming on reliable connections
Yes, it is interesting. To me, the important thing is that our labour is exploited in many more (and many more malicious) ways than making an LLM 0.000001% better, maybe (or maybe it makes it worse!). Therefore, the problem isn't the AI, it is this giant financial machine which sucks value out of all who actually produce it, no matter what tools it uses to do so.
That was the only one and within one day he claims those number was given to him and proved to be complete BS. The M2 has 2500 GB6 score single core, a 3500 is 40% increase in single core performance. Given we are not expecting much increase in clock speed, that is 40% increase in IPC, I don't remember last time the industry has had anything similar.

There is a high probability that M3 will simply be a port of M2 to N3 with some minor tweaks.

The real long node has always been N3E.
How exactly does it stop bots? At best it stops everything, but full blown browsers, from communicating with web servers (that includes `curl` and web security scanners). Even if it kills stuff like Selenium, bots can just use mouse/keyboard input.
Unless we go all the way, and require DRM in every piece of hardware, so for example "Rubber Ducky" no longer can claim to be a keyboard. That would be more restricting than current MacOS.
It's strange how the rivers all used to freeze. If people had ice skates, it must have been quite frequent.

EDIT: Little ice age. See darkclouds's comment: https://news.ycombinator.com/item?id=37031308
MetaGPT – A LLM powered simulation of software dev company
I think I saw an edited version of this video circulated on whatsapp a few years ago with the message / implication "beware of <country> ... they are making fake food to sell in our country". Ashamed to admit I was rather convinced by what the video was depicting at the time. There was a fake egg and "plastic rice" etc.
This is a factor, but to say it is the factor is nonsense.

Supply vs demand dynamics very much do exist. I get paid a lot, I also create measurably more than my salary in value.
That circle would include me.

"Smart" is just about synonymous with "connected" these days, and any product with the originating company in its feedback loop represents a risk that the product will start working against the user in some way either immediately or after some honeymoon period.
Yeah, I remember them. Never really understood what they did besides needing to be set for ISA cards, etc.
Those details are even occasionally correct
OSM can't show (and plan for) traffic, for one.
> Decimal calculations getting rounded off is a problem that is a lot easier to see and understand.

If you carefully, tediously work by hand some calculations such as addition, multiplication, or division (but not, say, square roots, exponentials, or sines, since there are no generally known methods for computing those by hand), you may be able to replicate some specific results of the computer without needing to learn anything new. I don't really see what the point of doing that would be. Oh, and you must use banker's rounding, which is also not generally done. Otherwise, the results will appear to manifest as just some inaccuracy incurred after every operation, just the same as with binary floating point. The full complexity of error analysis remains.

(Note also in particular that addition, multiplication, and division are closed over the rationals, which can be readily represented exactly by computer—I did mention I think rationals are a good thing.)
Or you're in a country where the ad isn't served.
Exactyl! It is RAII (or linear types) with the addition of a "contextual computation" and syntax for it, so that multiple calls can be done in an ergonomic way.
>perhaps making basic measurements

Can be done. Right-click on PC, drop a pin and then choose "Measure distance" on mobile.

>being able to draw or create marks on the map

https://www.google.com/maps/d/u/0/. Seems like they forgot to shut it down - it's design wasn't updated since 2013.
In Poland, it's opt-in for individuals since 2004. (It's opt-out for companies.)