skysight-inc/HackerNews huggingface dataset:
How does further reducing lead in the fuel compare to all the other emissions' impact?

I would imagine that lead is dangerous for a long as it's being used, whereas CO2 has an annoyingly long half life that we need to actively remove in (currently) time- or energy-intensive processes, while it's reducing healthy years of life for millions of people —speaking of air pollution from combustion in general here, I don't have specific numbers for airplanes but as an airplane company you are surely better aware of this than me
All of these ships are tiny. These are not ships, just landing craft. This is by any measure not a big concentration of ships, armor, or anything. D-day landings were impressive in 1944 but today these won't be big at all. Today, similar amounts of cargo and people can be delivered by planes, not by boat.
> but there are shockingly few companies that build planes.

Because the ones who try go bankrupt twice before they manage to certify their planes? If ever.
i hope those rates will never climb as high as there male counterparts
You could consider getting some help for that anxiety.
Hetzner Cloud Expands to Singapore
Ok I see. I guess developing on other platforms doesn't change every 2-3 years.
I my opinion this example should be on the website to support your code snippets. the top of the page should tell me what problem your solving for me rather than what features the product has. this post does it perfectly but without reading through this thread i'd still be struggling to understand why i should use the product.

I hope that didn't come across mean. the product looks really cool. congrats on the launch :)
The culture of the ecosystem, ease of dependency chain attacks, lack of static type system + rigorous number handling which can lead to subtle bugs.
Americans love rules and regulations. America is big on social structures that allow the common man to enforce rules upon others, giving them a sense of power. See HOAs or middle managers as an example.

In my town we have Neighborhood Services drive around on patrol looking for code violations. I put a chair for free at the end of my driveway for not even 24 hours and received a letter from the city. My town really is just one large HOA.
Based on the comments the submitter made in other subthreads, their long term plan is to market a plane that's in the $100k range, whereas currently you would be looking to dish out at least $400k. Whether that's realistically feasible remains to be seen, but that steep of a cut would surely make it a lot more accessible than it is right now.
> did not restrict optimization unnecessarily.

well clearly there is a cost
> in practice there is a ton of code marked extern "C" which throws

Obviously, a random programmer could do any evil things, but does that apply to standard code, such as C standard library used from C++?
> Mozilla and Apple will lose significant revenue from having Google as the default search engine

This would be a great thing for Firefox. That Google money is toxic in more ways than one.
If that was true, Russia would have been utterly defeated a long time ago. Ukraine uses about 4000 drones per day, even if a successful hit meant just 1 infantryman killed or incapacitated, Russians will be at the negotiation table, at least, because no way they can sustain 1000 people per day in irrecoverable losses.
Reminds me of the "If I don't steal your home, somebody else will" incident. Classic scumbag mentality.
I give 5 stars when I love something and 1 star when I hate something. Like an up or downvote.
In the onboarding you can set your own preferred keyboard shortcut.
Screenshot !

i'm lazy and i don't even test or register/login without screenshot.
Crime is defined as a violation of specific laws of a specific country, province or municipality. What is the epistemic problem you think needs to be solved here?
Version 9.0 already? To me this unfortunately signals lack of focus and/or disregard for backward compatibility, which means unnecessary churn for me as user of this project. Hard pass.
Gross over simplification.
If these are correct, it is quite amusing to see the various spelling mistakes.

> and natural reply by modify the draft

> image query as Sate or Unsafe.
SF offices are a leftover of the low interest rate cycle. It's ok when you can borrow money cheaply as a form of status symbol for your company, but it makes no sense when companies have to watch every dollar and actually turn a profit - especially with the growth of remote work.

I expect that companies will maintain bay area offices for investor relations and small teams of the absolute top talent, but do most hiring elsewhere over the years.
Depends... Is it a good thing for the world that there are so many cars everywhere?
If this file is only a low-res low-color bitmap, one could probably re-create it from a good photo of CRT.
> I'm not going to file a bug report, that's more time than I'm willing to spend on a project I'm not involved in.

In that case, I make it quick - and refrain from any followup questions.

Did you by chance pick the "Minimal Racket" distribution?

If so, your command essentially compiled large parts of Racket and generated the entire set of documentation.

The distribution "Full Racket" is the recommended distribution for most purposes. It comes with everything pre-compiled.
SEEKING WORK | Remote | Worldwide (EU-based, GMT+1) | Part-Time/Full-Time

Backend developer, SQL expert, Technical lead, Architecture consultant (CTO for hire), DevOps engineer with 15+ years of experience on multiple projects and multiple roles..

Language: English, German

Areas of expertise:

* Fulltext/geospatial search systems with SOLR/ElasticSearch/...

* Cloud/On-premise asset inventory (CI creation) for ITSM systems (with https://github.com/cloudinventario/cloudinventario)

* HA Prometheus monitoring systems integration with ITSM systems (preferably iTop), with monitoring configuration over ITSM, CI discovery, autoconfiguration...

* ETL pipelines (data collection, transformation, enrichment, BI reporting...), DWH Building

* API Gateways (Kong, Apisix, OpenResty...)

* Automation with Ansible / Terraform

* SQL data model and query optimization

* Open source systems integration, glueing together MVP using various open source components

* Skills: Perl, C, Bash, Python, Lua, Go, Java, NodeJS, PHP...

Github: https://github.com/samsk/

Email: ja.hn4[at]mailgw.com
Interesting. I couldn't find it; Is there a resource anywhere which could help show how to replicate the diet / meals?
I really don't think that matters. Music popularity isn't a meritocracy today, I don't see how it could be worse.
SLUBStick: Arbitrary Memory Writes, Cross-Cache Attacks Within the Linux Kernel [pdf]
> I have learned much, experienced much, made many mistakes, enjoyed my triumphs, suffered my defeats, and, most vitally, experienced love.

At the end of the day, what more can we wish for in a human life than this?
FPGA Stop Watch Challenge – Fun for Conferences
No. Not at the moment. We're currently only available in the App Store or in Setapp.
Though you could install it via:

$ brew install mas

$ mas install 1631568126
> Can this static information system be used for run-of-the-mill static type checking as well or not?

Yes.

As an example Matthew Flatt has implemented Shplait in Rhombus:

https://github.com/mflatt/shplait
We performed a controlled empirical comparison of pie vs linear menus in 1988, which we presented at CHI'88 and published in the proceedings. It showed that pie menus were 15% faster than linear menus, and that they had a significantly lower error rate.

An Empirical Comparison of Pie vs. Linear Menus. Presented at ACM CHI’88 Conference, Washington DC, 1988.

https://donhopkins.medium.com/an-empirical-comparison-of-pie...

[...]

Conclusions

What does this mean? Should we program pie menus into our bitmapped window systems tomorrow and expect a 15–20% increase in productivity since users can select items slightly faster with pie menus. Pie menus seem promising, but more experiments are needed before issuing a strong recommendation.

First, this experiment only addresses fixed length menus, in particular, menus consisting of 8 items — no more, no less. Secondly, there remains the problem of increased screen real estate usage, In one trial a subject complained because the pie menu obscured his view of the target prompt message. Finally, the questionnaire showed that the subjects were almost evenly divided between pie and linear menus in subjective satisfaction. Many found it difficult to “home in on” a particular item because of the unusual activation region characteristics of the pie menu.

One assumption of this study concerns the use of a mouse/cursor control device and the use of pop-up style menus (as opposed to menus invoked from a fixed screen location or permanent menus). Certainly, pie menus can and in fact have been incorporated to use keyed input [7] and fixed “pull-down” style presentation (the pie menu becomes a semicircle menu). These variations are areas for further research.
> We want people who don’t think about airplanes as a mode of transportation to start flying

Oh yeah that's just what we needed. I love flying but rarely do it because it's not like airplane transport is underused compared to our available resources to run this system. It's not sustainable to keep using the limited amount of atmosphere as a dumping ground for combustion products so the big task ahead of us is finding workable alternatives as well as installing facilities (there are several options today) that remove the extraneous greenhouse gasses and other emissions within a reasonable amount of time. We can make transportation sustainable but there's a long way to go yet

In the meantime, I don't see that flying being too underutilised is a problem any one of us benefits from solving, even if that requires thinking beyond the immediate "I get somewhere faster" and "it is fun and beautiful in the sky" benefits which I fully recognise
Bubble thought. If I block out all the other ways in which other languages are used, what I am saying is true!
I interpreted the name-dropping as referring to Foison's CV, which names:

- The Conservatoire National Supérieur de Musique et de Danse

- Messiaen

- Henri Dutilleux

- Pierre Boulez

- The Prix de Rome

- The Sorbonne
How Tailcall statically identifies N+1 issues in GraphQL
Can we edit the title to remove the clickbait?

> Venting Doesn't Reduce Anger, but Reducing Physiological Arousal Does, Study Says
Your comment says the same thing twice, just rephrased. Did ChatGPT write this?
After learning about tensor diagrams a few months ago, they're my default notation for tensors. I liked your chart and also Jordan Taylor's diagram for multi-head attention.

Some notes for other readers seeing this for the first time:

My favorite property of that these diagrams is that they make it easy to re-interpret a multilinear expression as a multilinear function of any of its variables. For example, in standard matrix notation you'd write x^T A x to get a quadratic form with respect to the variable x. I think most people read this either left to right or right to left: take a matrix-vector product, and then take an inner product between vectors. Tensor notation is more like prolog: the diagram

x - A - x

involves these two indices/variables (the lines) "bound" by three tensors/relations (A and two copies of x.) That framing makes it easier to think about the expression as a function of A: it's just a "Frobenius inner product" between -A- and the tensor product -x x-. The same thing happens with the inner product between a signal and a convolution of two other signals. In standard notation it might take a little thought to remember how to differentiate <x, y * z> with respect to y (<x, y * z> = <y, x * z'> where x' is a time-reversal), but thinking with a tensor diagram reminds you to focus on the relation x = y + z (a 3-dimensional tensor) constraining the indices x, y and z of your three signals. All of this becomes increasingly critical when you have more indices involved. For example, how can you write the flattened matrix vec(AX + XB) as a matrix-vector product of vec(X) so we can solve the equation AX + XB = C? (Example stolen from your book.)

I still have to get a hold of all the rules for dealing with non-linearities ("bubbles") though. I'll have to take a look at your tensor cookbook :) I'm also sad that I can't write tensor diagrams easily in my digital notes.

Tensor diagrams are algebraically the same thing as factor graphs in probability theory. (Tensors correspond to factors and indices correspond to variables.) The only difference is that factors in probability theory need to be non-negative. You can define a contraction over indices for tensors taking values in any semiring though. The max-plus semiring gives you maximum log-likelihood problems, and so on.
New X-ray world record: Looking inside a microchip with 4nm precision
I might find this app useful. However, for some reason it heats up my iPhone SE (2nd gen) and everything grinds to a halt after a few seconds of using it.
Scheduling Model in LLVM – Part I
It's true, in the "Encyclopedia anyone can edit" you will find that quote.
I'm terribly confused. I don't see any corrections in what you wrote.
I a not sure which Lisp you are thinking of, but compared to a "standard" Lisp you might be interested in how the module system interacts with the macro system.
In particular the concept of a tower of phases.
Seeking absolution from the music industry?!? From those exploitative bloodsucking parasites?! Pardon my French but fuck the music industry. Do you know that, here in France, when you buy ANY hardware that can potentially store digital music (a hard drive, a USB key, an mobile phone, whatever) you pay a tax that goes to the fucktards of the music industry? Today, in 2024, when pretty much everybody turned to streaming. Yep. I sincerely hope they all end up unemployed.

I vividly remember the moment when I turned on them: as soon as I started to have income during the 90's I used it on music. I was buying at least 5 or 6 CDs a week, I was tracking new releases obsessively and was making it a principle to pay for music. When MP3 exploded I started to encode the music I was buying, because that's pretty much how and where I was listening to it: on my various devices. But when the music industry started to feel the heat from the Napster and Limewire alike they reacted in the stupidest possible way: being user hostile and considering their own clients as potential thieves. The various copy protection systems they came up with started to be annoying but the nail in the coffin for me was a Jay Jay Johanson album that I simply could not play on any of my devices because of this. I gave them the middle finger and started to download, right this moment, without remorse. I only came back to paying when streaming started to be easier and better than downloading.

The music industry is mostly just disgusting pigs only worthy of contempt and disdain.
I just went to the MySpace.com front page and it features only news from 2022. Is this some sort of bug for EU users?
That's what they said about electricity, and they were right. The latest greatest things were electric dentist drills, electric streetcars, electrochemically processed materials...
But there exists clockless architectures.
I think I will be forwarding funny animal videos to Jake on instagram for all time but the idea of them being delivered to no one is this weird minor detail that is just so hard.
Out of Google's 2023 revenue of 305.63e9 US-$, 77.8% (237.86e9 US-$) was advertising revenue.

Source: https://www.statista.com/statistics/266249/advertising-reven...

They are obviously not only an ad company, but GP only claimed that they are an ad company "first". Can you please clarify which part you consider oversimplified?
rqlite creator here. That's a mischaracterization.

rqlite has been in development for 10 years[1], it's a long-running project and its design goals have never changed. The API hasn't changed in a breaking fashion since 2016 and rqlite has supported seamless upgrades for years now.

In other words rqlite users have been upgrading from version to version for over 8 years, without having to change a single line of their code.

[1] https://rqlite.io/docs/design/
It's true that there are lots of resources out there about pretty much anything, but it doesn't mean we can't improve on those ;)

Our goal is to write a clear HIPAA checklist that tells the reader what they should do, with slight focus on integration with business associates.
He’s not some guy, he’s an artist. Different. /s/s

Same goes for those all-white or all-red paintings. You could do it, but you didn’t and you don’t.
I don’t know the vaccine evolution came very quickly and we arrived at DNA and RNA modification levels which are able to shape our further evolution for ever.
I'm familiar with almost all of these architectures, but not the tensor diagram notation. I can't figure out what "B" is? I thought maybe it's a bias vector, but then why does it only appear on the input data, and not on subsequent fc layers?
> huge amounts of money are spent on maintaining a system that props up superstars.

i see no evidence that the profits of the superstardom is spent maintaining the "system".

My point is that if a musician is good, they will earn money proportional to their success. If the argument that it's the promotion that makes them successful, then the argument is less correct today than ever before - the advent of the internet means there's no more strict radio slots etc, which is unavailable to an amateur or starting musician.

Even if you reset today's system - for argument's sake, we make everybody forget all previous musicians, and start from scratch - what would happen is that those musicians that are "good", measured in popularity, will garner more and more audience and popularity, leading to what looks like today's system (but just with perhaps a different person).

That's why my condition, if you wanted to equally distribute the profits of music making, is to segregate markets into small, non-overlapping segments. You will not be allowed to pay for or listen to music from another market segment. This way, no matter how good or popular a musician is, they only ever earn the maximal of their own (small) market. But i don't see why such a system is good, with the exception that some bad musicians gets to be the big fish in a small pond.
Have you tried it recently? "Search for" gets me less 'deer in the headlights' looks than "google it", probably because these days most people are searching for things through apps instead of browser. Browsers are quietly becoming a niche technology with wide swaths of the population.

Browse the web as a normie would, without adblocker/etc extensions and other techy web saavy, and it should quickly become apparent why. Telling people to google something is like telling them to wade into a sewer.
Convincing People to Refactoring and Testing
> Apple Maps is now on the web

Just tried it and Chrome isn't supported!
Hetzner Cloud now also in Singapore
I’m a bit surprised by the headline because we are currently offshoring to India a lot and our main difficulty is high turnover as people jump companies for better wages. I was under the impression that the job market was very open for IT professionals in India at the moment.
Can game participants change the payoff structure? (2012)
I have been working on exactly that here: https://github.com/bni/awdh

Never completed it. But now it looks like there is a better photo reference all of a sudden, need to look into it again!
> a lot of strong words

The words are mild and sometimes even a little playful. The ideas are
strong. Please offer some strong ideas in response, instead of calling
other people crazy, which makes you look weak.

> nothing remotely actionable... The fix could be the market,
regulatory, and/or technical.

The premise of the piece is that markets have wholly failed to provide
computer security for people, that technical complexity has escaped us
as engineers, and that regulation is undesirable, difficult and often
makes things worse. The time is now for this stuff to get very
_political_.

As I wake up this morning to UK news that we'd like to ban Twitter I'm
already seeing some good evidence this is happening. If you don't
believe that politics is relevant action in our society you wouldn't
be alone. But you'd still be in a disaffected minority. Please
understand that the rest of the billions of people are going to move
to increasingly effective political means to unseat derelict and
corrosive US big-tech in order to build a better technological
society.
Perhaps do a bit more research before you spread FUD from a knee-jerk reaction to a version number.
Have you ever heard about helicopters? There are hospitals that have them. Why do we need _personal_ airplanes for this to happen? Why you think doctors will have money or space for their own airplane when they have no helicopters yet?

In this scenario of yours where would this doctor have their "airplane" at home? In a airfield?
Drones are easy to control from iPhones. I look forward to a flying car that is as easy to control declaratively and letting the computer fly the plain
Show HN: Browse the Latest Tech Jobs
> Small-aircraft GA is a vanishingly small fraction of total fossil fuel use

OP wrote: "We want people who don’t think about airplanes as a mode of transportation to start flying"

They're meaning for this to become a larger fraction, besides that the relevant measure is pollution per benefit or per capita or something rather than absolute amount of pollution
Clans (2014)
The proposal had 2 clauses, the second reads:

” ensure that the scientific evaluation of pesticides for EU regulatory approval is based only on published studies, which are commissioned by competent public authorities instead of the pesticide industry”.

The second part was addressed by a proposal, that was accepted.

It’s in the bottom of the pages here:

https://citizens-initiative.europa.eu/initiatives/details/20...
> Yes, I really do.

So you don't think that people respond to incentives? Quite an interesting take.

> most Americans (IMO) just aren't like this and really do want to stick with their car-based lifestyle.

Because nobody, not just Americans, likes change. I'd like to stick with my public transit/walking lifestyle but if overtime that lifestyle becomes hard to maintain I'd want to get a car.

> If most Americans were like you say, there'd be a huge exodus of Americans moving to Europe.

You've missed the point. I made absolutely no claims about Americans. If I made a claim about people it was about all people, Americans, Europeans, Asians... That claim is that people respond to incentives.

When a person moves from a place with bad public transit and walkablity to place with good public transit and walkablity it is likely that they'll go car free or at least use their care much less. Same applies the other way around.
It's not settling down, as C# just changed it up again.

They introduced some new syntaxes in recent versions, c#12 and 10(I think?):

List<Foo> foos = [];
Bar bar = new();

I expect that to replace implicit var declarations as the 'normal' way, especially as that's what VS code analysis suggests now.
I wonder how much this domain cost?
"it really depends!!" on the level of security required for the data/actions that seat behind the authentication - for e.g. for Banking and Financial services - a 2factor auth is a must.

For average usage, mobile based auth is ok - although in that case you are relying on the security infrastructure of telecom operator, which in many country is not that good - e.g. identity theft to hijack someone mobile number is quite common.
Search is only dead because it's more profitable for Google this way. They don't care that you end up on an SEO farm as long as you are looking at their ads.

I maintain that the point that Google started going down the drain was when they embraced SEO instead of seeing those that try to game the search engine as adversaries.
email-based auth is much preferable in my opinion.