skysight-inc/HackerNews huggingface dataset:
> REST is great if you're a backend or infra developer

Not sure about that, we have a codebase that's huge, with 100s of REST endpoints, and the backend engineers simply start writing new endpoints because frontend needs one more specific field, and the backend folks can't be bothered to refactor the codebase for an endpoint that's used elsewhere, as that takes time. GraphQL solves that cleanly by allowing the frontend to request any data they want and for the backend to focus on figuring out how to give back a piece of data if it's requested. No 100s of endpoints required.
This is a key assumption of the classic book (and box office bomb movie adaption) https://en.wikipedia.org/wiki/A_Princess_of_Mars
No, we are not there yet, but we're part-way there. Some people just look for the negative aspect of everything rather than admit that a step might represent progress toward a goal.
Okay. Today I'll be the idiot.

I don't get it. Or rather, I don't get the significance of the Curry-Howard Isomorphism. Questions:

1) Is there an example of a proof and its corresponding program that makes you say "whoa, trippy, I didn't expect those to be related"? Like, yeah, an Int -> Boolean function "proves" you can construct a Boolean from an integer, but ... so what? What would a non-trivial proof (say, on the order of the Pons Asinorum) look like as a program?

2) Are the "programs" referred to here to merely pure functions (i.e. side effect-free, global state-free ones)? It sounds like it is based on lines like this:

>When a computer program runs, each line is “evaluated” to yield a single output.

That ... seems to cram "computer programs" into some kind of Procrustean bed unless we're taking about pure functions. But then it also talks about how CHI has applications in verifiable programs, which, I'm told, can reason about side effects.

Feel free to call me an idiot, as long as you can also inspire an aha-moment.
> I was drawing attention to the fact that "disinformation" is at it's core, someone who has no right to vote in an election trying to influence those who do

While the terminology is still awful, I think this was an insightful attempt toward trying to frame the issue as exported propaganda by foreign actors.
>but I am kind of amazed that the market for digital fonts still exists, when in theory you can produce a perfectly legal copy and not pay a thing.

There is a growing trend for style guides to use typefaces from no-cost or open libraries. This isn't limited to small companies either, I can think of a handful of industry heavyweights in tech, food and medicine who each have taken up this approach. This forms the first reason not to dupe fonts, because there's plenty of good ones already available for no cost.

I've found that companies that do this have an easier time of staying on brand since it's so simple to obtain the necessary fonts.

As for seeking out deliberate copies of popular fonts, there's a few reasons why an agency wouldn't want to propose this:

1. It's easier to sell in a well loved font, with a proven character from a foundry with heritage. Imagine talking to a board of suits, they're often looking for the safe option.

2. It's kind of a dick move for an agency to be ripping off the foundries, especially small modern ones. Creatives do enjoy what typographers make and can see the love put into their craft.

3. Typographers are not faceless. Modern font designers are still alive and active on socials, you might personally know who you are ripping off.

4. There's a bit of hypocrisy in hating on frankenfonts such as Arial, while deliberately seeking out dupes.

5. It's trivial to open a font in a font editor and resave it with different specs, if a creative wants to be sneaky they can just do this themselves anyway.

6. Adobe have also thrown their hat into this ring by offering a range of popular fonts available for use for no extra cost with their creative cloud subscription. It's not needed to seek out a dupe-font, when the real thing is available with a few clicks.
The Digital Services Act is about enforcing rules that are already in place. For example, traditional media has always been bound to certain rules.

> These are dissemination of illegal content, negative effects on certain fundamental rights (privacy, freedom of expression, prohibition on discrimination and the rights of a child), and intentional manipulation of the services […]

Source: https://policyreview.info/articles/news/digital-services-act...

If enough countries in the EU shift their moral compass and then elect enough officials in the EU parliament and then change the laws and regulations you could say that it's a democratic decision to change the rules.
Considering their competition, Unity projects were on a knife-edge before this entire debacle started. Unreal is better; Godot is less risk. It didn't take a big push to send every unity project tumbling down a better path. Damn right it wont be enough to kick out the CEO -- the poison is still there in the motivation of the private equity ownership.

I wouldn't have the first clue how to rescue Unity at this point. I think it's probably already a zombie, but maybe there is a way to turn it around. Publish the source?
> Instead, it seems that those with the deepest pockets - <cough> looking at you, Disney(!)

I think this is mostly a case of survivorship bias. You only read about copyright in the news when it's related to giant well-known corporations or egregious abuse of the law.

The bread and butter uses of copyright benefit millions of authors and artists every day but you never hear about it in the news.

For example, I wrote and self-published two books. While you can read them for free on the web, I still retain the copyright and sell physical copies. Fairly often, someone will rip a copy of the book and try to publish their own (poorly executed) eBooks or print versions. Copyright is what lets me have those taken down.
> My understanding is that after you adjust for demographics, because most service members are young males, the rate actually isn't higher, but the reality is what it is: we lose more people from suicide every year than combat operations.

Interesting note, I didn't realize this. Apparently, demog-corrected military suicide rate was previously below civilians [1]. In a few recent years this may have reversed, per the graphs on https://chrisfrueh.com/wp-content/uploads/2023/04/Smith-et-a... .

[1] https://scholar.google.com/scholar?cluster=13069467757696393...
In my experience doing work with a local YIMBY organization: it's mostly local NIMBYs. When there's a city council meeting about some housing policy, it's not some guy from New York in a suit who shows up, it's local NIMBYs. When there are proposed duplexes in a "nice" area of town, it's the neighbors who organize to stop them, not some far off corporation.

The positive aspect to this, though, is that a group of pro-housing locals can make a huge difference in the conversation and see real progress. It is really meaningful and fulfilling to see housing built that you helped advocate for.
Show HN: XNote – Chat with Your Handwritten Notes, Powered by GPT
To correct in specifics but not character: there were renter support/eviction prevention programs, as well as some amount of eviction moratoriums. All almost without fail came alongside mortgage/homeowner relief (with owners able to accept the latter while rejecting the former, covering their own asses while leaving renters in the lurch). My personal experience was with an EP program that provided 1) reassuring but functionally useless legal assistance - they couldn't do anything if you didn't have the money - and 2) back-rent cash assistance. The latter (predicated on you having a balance with your landlord but having not actually been kicked out yet) was hobbled by low funding, a long wait list, a process fractured across jurisdictions, and an invasive application process. We only received assistance because we got a tip from our legal assistance rep that the fund had been quietly reopened to applications after half a year of senescence. Ultimately, this did not prevent our eviction, as our property manager's next step was to raise our rates as much as 30% (annual increase + month-to-month fees).

Meanwhile, even at the highest levels of monetary policy, the aim has been to placate hysterical homeowners. Beyond aid programs, beyond preexisting tax incentives, you have the Fed refusing to Volcker us out of the way of catastrophic inflation with an appropriate rate increase, because it would wipe out the market and put everyone who wasn't in a fixed-rate loan for a house they don't plan to leave in dire straits. Instead, we let rental property owners mask their price-fixing under the guise of inflation.
You can't get faster than No Build
The comment implied that 13B and 34B models are coming.

This is interesting... You didn't have any malicious intent, hence this is a somewhat novel example of GPT4 sneaking misinformation into an HN comment section.
I'm guessing it means you have to walk inside the bank branch, and show ID and your phone with the installed bank app to an employee who somehow authorizes the phone to use the app?
Good points and thank you for taking the time to clarify. I would still contend that knowing that unvaccinated people getting long covid does not provide any insight into vaccinated people getting long covid.

And I'm happy to amend my statement to "For this to be logical, you need to state that vaccinated people (who never had covid) do not have long covid."
He regularly visits EU for both business and for fun - sure would suck for him to never be able to set a foot in any EU country ever again.
https://archive.ph/BDZlY
"You can, but the problem is that warm water isn't that useful."

Depends on your other systems. Dishwater wants hot water(but usually has no input for hot water), washing machine(some do). And if you have a house with 4+ people who like to shower a lot .. it adds up very quickly. And yes, heating. Now are already the days (in europe), with cold nights and mild but sunny days.

So .. it makes sense in theory, but not so easy to economically make use of as of now.
The thing that _really_ irritates me about debian (almost the only thing, actually) is how flipping hard it is to use it as a development environment/system.

It's _great_ as a system, but for the love of $DIETY, why isn't there some sort of way to say: `sudo apt install $ALL_THE_COMPILERS@[latest||version]` ...semi-similarly to the "exceptions" made for frequently updated packages like `firefox`, `chromium`, etc...

I know of `asdf`, but it seems like a big miss that it's sometimes so hard to use debian "properly" (ie: via `apt ...`) to actually develop.

Or similarly, wouldn't it be great if similar to `LSP-language-server-protocol`, there was something like `PSP-package-server-protocol` where `npm`, `go.mod`, `pip`, etc... were all like: "yeah, the debian system packages for python, perl, etc. are great for debian-on-debian", but we should also support pulling an arbitrary project at an arbitrary version and make a best-effort attempt at being able to isolate, share, manage, upgrade packages between them.
Seems accessible, if you're willing to look up what what you don't understand.
It is worth adding the drug companies and their lobbying groups to that list.
What's DSA?
Nothing in this universe is permanent in the long run.
Nice, much better than the old website which was basically unusable.

I've been strongly attracted to Vulkan since it was announced in 2015. Being annoyed by the limitations of OpenGL for scientific visualizations, it seemed like a significant improvement. When the specification was released, I was both fascinated and terrified by its extreme complexity. I understood mostly nothing at first. I took it as a personal challenge to learn it and do something with it.

After dozens of times reading the documentation and experimenting with the code (tutorials were scarce at the time), I started to understand the most basic functionality. I spent much of the Covid lockdowns playing with Vulkan and developing prototypes of a scientific visualization library in C [1].

In the process, I wrote a thin wrapper in C on top of Vulkan to make it less painful to use [2]. It turns out this wrapper is quite similar to WebGPU. I'll explore interoperability avenues later.

Datoviz is still an experimental project. I'm actively working on the next version of Datoviz which I hope to release in a few months.

[1] https://cyrille.rossant.net/datoviz/

[2] https://datoviz.org/howto/standalone_vklite/
This looks excellent! Thank you for building it.
How did a thief pull off a $20M gold heist at Pearson? Lawsuit reveals details
> legal piracy

I'm going to need to see a valid letter of marque!
Project looks amazing! Love the ambition. Have a few notes.

1. Please have one clear toggle for any WAN access. And another one for sending analytics or any sort of usage data be OFF by default. Better yet make them compile time flags too.
There was this new terminal called warp(?) that was so sexy but sent data over the net by default and that became a hard no for many.

2. Take some inspiration for Windirstat and everything. Especially everything. Use their search performance as a performance goal!

3. I noticed it in your road map but worth saying again. TABS!

4. Consider moving away from prisma. They really insulate you from your db and a lot of magic. And a part of me maybe unjustifiably is weary that they will do a license switch some day.
Carsharing can be recommended only by somebody who never have to share a car.

- Car won't available when you need it.

- You will come to a car, which will have steering wheel and driver's seat in a setup incompatible with your physique, so you need to waste your time to set it back. Every. Damn. Time.

- Car will be dirty. All the time. Dog hair, food crumbs, trash (i.e. coffee cups, cans). You will take it out and next time it will be back

- If you are sharing with a smoker, I hope that you like smoky smell of your car.

- Car will be always empty (gas, battery) because previous user has no incentive to fill it up.

- Minor accidents will go unreported, and then you will be wondering, where this scratch came from, why is this mirror busted or why I need to hold my steering wheel 10 degrees to the left to drive straight.

- Everybody will try to evade maintenance fees - You want money for winter tires? I don't drive in winter man... 2 weeks later your co-owner will want to drive, because it is his car too!

Carsharing is a dead end and whoever will try it, will quickly revert back to his own car. Less headache.
- You'll be able to purchase additional Notebooks!
- Unfortunately, we do not have water-proof options available for now.
Really? I think YAML perfectly fills the niche of a config format that is both hard for humans to write, and difficult for machines to read.
Yes, although Dijkstra was interested in proving programs correct in general, not just in how lambda calculi correspond to logics correspond to categories (a proof technique for program correctness, among other things).
This is not at all accurate. From the bill introduction:

The bill would require... the manufacturer of an above-described electronic or appliance product... to make available, on fair and reasonable terms, to product owners, service and repair facilities, and service dealers, the means, as described, to effect the diagnosis, maintenance, or repair of the product, as provided.
The bill would also require a service and repair facility or service dealer that is not an authorized repair provider, as defined, of a manufacturer to provide a written notice of that fact to any customer seeking repair...
The bill would also authorize a city, a county, a city and county, or the state to bring an action in superior court to impose civil penalties on a person or entity for violating the Right to Repair Act, as provided.
The bill would make these requirements and enforcement provisions operative on July 1, 2024.

Would love to be proven wrong though, could easily be missing something hidden in there. Both pages seem to be purely about requiring things of people though, not allowing things.
By the time this takes effect, all large cars will be classified as farm equipment and all small cars will be classified as game consoles.
LLVM needs a way to be able to turn off compressed instructions entirely at configuration time. Some of the RISC-V server platforms which will appear in the next few years won't have them.
As far as I am aware this doesn’t relate to much work done by Dijkstra. This is really the Type Theoretic computer science program. It starts at Church and progresses through Curry (inspired by Schoenfinkel), then hits the ‘modern’ academic lineage splitting in many directions. On the computer science side in America Constable and his doctoral students (Robert Harper included), Dana Scott, Strachey, Reynolds, the current CMU proof theory/type theory professors, and in Europe you have the French school with Coquand, Huet, etc from INRIA and the English lineage from Milner.

Obviously the above is a very truncated list and misses out on a huge chunk of formative thinkers, and doesn’t get to the cutting edge modern developments. Additionally, I’m leaving out the Math centric developments and people, like Mike Shulman, Dan Licata, etc.
How did Sony and Microsoft avoid this fate and Apple didn’t?
A link to gizmodo is the internet equivalent of those direct mailers that go directly to the recycle bin.
Doesn't the double criminality rule combined with the First Amendment prevent extradition for things like this?
Most of it is artificial. The term people seem to use to describe this is toxic positivity.
Sounds good to me. I wonder if your comment was intended to respond to the sibling comment to mine? Anyway, I’d agree there’s no reason to stop, and anyway 2 spaces has been the rule and still is for some people. Language and technology being fluid is why there’s debate and why the number of spaces has changed over time, and it’s also why it’s okay to do it the way you want to.
I think this is somewhat questionable. California recently passed the laws to open the floodgates, so we'll soon be seeing how this plays out in reality. The points I've seen are:

* Modern requirements means building an ADU cost hundreds of thousands of dollars (at least here in CA).

* ADU significantly increase property value, and loan/insurance requirements are tougher for rental properties, making ownership harder.

* ADUs are rentals, which are 100% loss for the occupants. Building affordable condos would do much better at helping people build wealth. ADUs drive gentrification, from the point above, making ownership harder.
I agree but for the average user who takes sunset pics, kid pics or pet pics and then view those pictures on the same device they shot it on, apple’s incentive isn’t so much about competing with full-frame mirrorless cameras, but instead to make the pictures shot on the iPhone look as good as possible on the iPhone. That way, the shooter gets the dopamine hit when they shoot something that triggers our visual sense in a positive way.

My Sony a7iv gives me the same dopamine hit, maybe more so as there’s no better feeling than getting home, loading your footage into DaVinci and see that your exposure, focus and colours are nailed (on the other side of the coin, it’s a huge punch in the gut to get home and see your focus a little off, giving the opposite effect of a dopamine hit). But it’s more of a process to get there and the average user needs a faster feedback loop from shot to hit.
>Very few countries have freedom of speech enshrined quite as forcefully as it is in the United States. One really has to wonder where this is going to go?

It leads to an oligarchy as the rich are able to use their money as speech to buy control of the government. Oh wait, you meant the US's free speech laws are a good thing.

Maybe the Americans reading this should think about how their opinion on this issue might have been impacted by their American education and American upbringing. People outside the US aren't all stupid. There are reasons other countries have different speech laws and not all of those reasons are bad.
What prompts do you use for role play? (I have some myself but I never see people write up prompts like this so im curious if im missing out on fun versions.)
.. both my 20-somethings agree with me, LI is a tired old joke in the facebook category.
This is the sort of bill you get when you trap politicians between activists with a cause and lobbyist with money.
> Rather than covering up what a tragedy war is, how about we work to avoid it?

how do you avoid it when the misinformation is intended to cause division, conflict, and war?
First, "artificial intelligence" is the name of the field of study that tries to build systems that act intelligently, not a term for referring to the produced systems. Even if some outcome isn't (or wasn't) yet particularly intelligent, the name of the field is entirely appropriate since that's the goal which it is striving to approach.

Second, the general consensus of what "intelligence" means in the AI field is approximately the Legg&Hutter "Intelligence measures an agent’s ability to achieve goals in a wide range of environments." from https://arxiv.org/abs/0706.3639 .

It's worth noting that solely focuses on the capabilities of the system and intentionally completely disregards how it's built. Gears cannot be called intelligent iff it is impossible to build an system that acts intelligently solely from gears, and if it turns out that it is possible to build a gear arrangement that soundly demonstrates intelligent behavior, then those gears definitely could be called intelligent.

And it's also a clearly nonbinary definition - i.e., it's not whether something is or isn't intelligent, but a scale to measure how intelligent it is; and a observation that a particular system (or human!) demonstrates poor intelligence doesn't prevent us from discussing that it's more intelligent than something or someone who is even worse.
Grande: Gradient-Based Decision Tree Ensembles
No nation has pure freedom of speech anyway; we're all just shades of gray with Europe opting for a little more color over the US.
I've been using the Boldvoice app (no affiliation), it's not perfect but pretty good; my spoken English has definitely improved in a few months. I would recommend it.
I, for one, don’t want to see/read holocaust deniers, aggressive hate speech, or fascist propaganda.

This stuff is not okay in any way. People being allowed to megaphone this FUD for cheap attention/clicks/manipulation always find idiots who actually believe this shit, and move the Overton window towards even more destructive speech being tolerated.

While I do value free speech in general, there is a red line. Like, I can tolerate a lot of weird people talking nonsense, but when you spread hate I‘d confront you right on the street in reallife. „But it’s my opinion“ is NO excuse for being an asshole.
See also Medicare offering significantly more healthcare for old people, removing them from the pool of voters motivated to pass Medicare for all type legislation.

Lots of examples of “cracking” the voting population to stall political will.
Book Review (On YouTube) – ChatGPT for Dummies
I found this to be an excellent, short guidebook to ChatGPT. Recommended for librarians, college professors, entrepeneurs, and policy leaders. This book is most useful to people who have already have used ChatGPT and want to expand their knowledge.
Do you have any references for the equipment manufacturer's liability? I find it hard to believe your point as written.
Have you used it? I’m never ever canceling my GitHub Copilot subscription. It’s revolutionary.
And that same reasoning applies to a Nintendo Switch? How many people died from self-repaired Joy-Cons?