skysight-inc/HackerNews huggingface dataset:
> But nobody rewrites C code in Rust if they believe existing codebase is free of memory safety hazards; they rewrite it because they think the result will contain fewer hazards

What if someone makes a strawman out of memory problems so they can rewrite it in Rust ?
Sounds like this isn't about carbon, then. It's about control. There are already electric aircraft either in the works or soon available that could handle short-haul flights all day long, but if they're interested in preventing this from even becoming possible that just speaks volumes to what their real intentions are.
I despair.
It would be nice to have a way to submit museums.
I'm thinking of https://www.umbrellacovermuseum.org/
Yeah, that was from memory, and I was thinking of dZ as steps around the Z axis, and dX steps around the X axis.
If your reasoning is "it sucks but it's the most widely supported" you might as well he using Windows. If you want a distribution that you can mostly use instructions tailored to Ubuntu, use linux mint or even Debian.
What exactly does it do for me as a user?
On a touch screen it’s typically something like long press -> Open in New Tab. Or you’re saying that’s beyond most people?
People don't walk a couple blocks and drive for groceries but then sign up to lift weights because they need 'exercise' but won't carry groceries....they are foolish and it's not just with money
Yes, when they introduced aviation fuel tax they similarly didn't inconvenience the rich.

> Corporate jets to escape EU’s ‘green’ aviation fuel tax

https://www.irishtimes.com/business/transport-and-tourism/co...
Mouse without borders has been around since at least 2011 ( https://www.microsoft.com/en-us/garage/wall-of-fame/mouse-wi... ) so is this just repackaging it or a rewrite?
> How does the 'economy' work for your Milk and Cereal producers? Just fine.

By "Just Fine" you mean there's currently a hullabaloo about what can legally be called Milk? In a story of naming rights and lawsuits, various non-dairy milks have come to market, and the traditional dairy farmers, unable to hack it, have taken to the courtroom instead of actually competing. Sound familiar?
The key ingredient here is that he was lucky and had a viral tweet. Marketing is everything.
Thinking that acquiring n dollarydoos is a worthwhile goal to pursue with your time (and dedication and technical abilities which the student clearly has). I understand my comment was a bit radical and mean and I edited it, but that line just made me want to puke.
Or some terminal graphics protocol, which is more efficient than sixels: https://sw.kovidgoyal.net/kitty/graphics-protocol/
Yup, it's increasingly becoming another right wing echo chamber.
> Do it everyday and live off the low wages for a year and then come back and tell me how fulfilling it is.

That makes no difference, it is still a choice. As soon as you've figured out you can rub 2 stones together and make fire you will never [again] get to experience the cold nights as something unavoidable.

Why do we work at all? Why not travel the world and enjoy ourselves? The only reason I can think of is that insecurity is terrifying. Then the next guy pulls his guitar out of its bag and people start throwing money in his hat.

Escape velocity right there!
No, France didn't ban short-haul flights. France banned 34 daily flights on 6 routes (ORY <-> {LYS, NTE, BOD}), and those flights were already not operating since 2020. No domestic flights from the largest airport was banned (CDG), no flights to/from MRS or RNS, etc.

This is because the law was pretty much designed to be useless. Flights are banned if you can make the trip by train within 2h30, with no changes, and with sufficient frequency and early/late enough trains to allow for an 8h day trip. Except that in the case of CDG they decided that it's not enough to be able to make the trip within 2h30 from Paris, you need to be able to do so from the TGV station at CDG airport. That's absurd, the vast majority of flights from CDG are from passengers in Paris, not passengers that start at CDG airport.

Because of that, CDG-BOD is still OK even though it's 2h05 by train from Paris. And CDG-LYS is also still allowed because they considered that there aren't early enough trains leaving from CDG airport currently.

It's basically just good PR with no teeth, and the journalists have been eating it up with zero fact checking.
Bevy looks really interesting. I’d love to experiment with gamedev using the framework.
We're heading for Venus
And still, we stand tall
'Cause maybe they've seen us
And welcome us all, yeah
With so many lightyears to go
And things to be found
I'm sure that we'll all miss her, so

It’s the final countdown

Someone’s science teacher knows who was too busy writing lyrics in class to learn about outer space…
Yep, like someone else mentioned, mine wasn't classic symptoms but throat and sinus issues. He prescribed pantoprazole but said I could stop taking it after a while. I've found that not to be the case.

He also said it was odd to have it at my age and weight but I've since found others in my family have it as well, so maybe genetic?
Yes. But contact info, payment info, perhaps amenities, insurance, and all sorts of other components you might encounter in the process.

Most airline flows do preserve this information.
This looks pretty nice! Especially https://microsoft.github.io/devicescript/developer/simulatio...
Macs also have the Apple Silicon effect. My M1 Pro replaced a 2015 MacBook as my primary laptop. Though, in fact, for a lot of things (though not generative art and a lot of multimedia in general), the 2015 system is still fine. Don't expect to need a new laptop soon.
Well, this sounds remarkably similar to our story. We were fortunate that we didn't experience serious manufacturing issues. We had built in some padding for inevitable delays and cost overruns. We ended up shipping all of our units on time (most well in advance, actually!) but our unit costs were about $60 over our initial expectations of $85.

Like Helm, we identified a sizable audience for the product. However, we didn't - and couldn't - anticipate the serious run up in acquisition costs which were largely attributed to Facebook in 2017-2019 (there was another article written about this on HN some time back). This made it impossible to grow the customer base within the slim margins afforded with hardware.

And because hardware is so massively capital intensive, without impressive M/M growth numbers, it was quite difficult to attract Series A investors.

IIRC we had discussed a marketing partnership with the Helm team at one point, though I'm not sure if that ever got off the ground.
Who is spending millions on priceless art "instead to save the planet"?

Many arts museum's are private. Its duty is to preserve important human culture artifacts, not to save the planet.
I'm not really sure China needed to be addressed. Simply putting significant money into green tech would have had a variety of effects - build out the sector earlier and faster; threaten control of the sector without competitive investment in other countries; demonstrate that the largest economy in the world is willing to put its money where its mouth is.
Even used laptops were hot. I had a bunch of old Thinkpads that I sold for double or triple what I could sell them for today.

People wanted any computer they could get their hands on. WFH, kids attending school from home...
Indeed, but sadly, features designed to "keep the program locked in" can also often be miss-used to "keep thee user locked out". Only time will tell where this one goes.
QLoRA 4-bit finetuning of LLMs
Those are comparing the same types of hammers from different manufacturers. My analogy is that different kinds of hammers don't compete with each other. A claw hammer, for instance, isn't competing with a ball peen hammer. They each are used for different kinds of tasks.
It’s called dragnet surveillance. It is problematic when it is used and it is illegal in most democratic countries.
I'll check mine. I have the Sport Touring so it's the top trim below the Type R with built in GPS but I never actually use the GPS cause my phone's is better.
But if we allow people to take off on a plane for fun, why shouldn't we allow people to collectively share a plane and get to their destination for a variety of reasons? This partial ban seems unfair otherwise
Because like I said it's not our responsibility to. You're openly hostile to the idea of them existing and no one is obligated to talk you out of the cowardice you appear happy to inhabit.
I don't understand what you mean without changing your double negative, but you can route URLs to modals.
Yes but "Did it work?" can be discovered faster than "Should it work?". This means companies that ask "Did it work?" are more commerically competitive than companies that ask "Should it work?". The companies that ask "Should it work?" will eventually be eliminated by the market place.
How long does it take for you to realize if cutting something off your diet helps?

Since I feel like some foods can take days to affect my GERD it can be difficult to tell what helps and what doesn’t.
Build charitable giving into your app
Generative Fill
Turns out messing with the composition of the atmosphere has some unexpected consequences …
I find this one as the most complete [1] [2]

[1]: https://github.com/ajhalthor/Transformer-Neural-Network/blob...

[2]: https://www.youtube.com/watch?v=Nw_PJdmydZY&list=PLTl9hO2Oob...
> it’s important to note that memory safety is only one kind of bug. Plenty of go and java programs are memory safe with a litany of bugs

While that's true, memory safety bugs are particularly dangerous from a security perspective.
The non-technical people use PCs. Macs are extremely expensive for an overwhelming majority of the world population. So when someone needs a 'computer', its a Wintel laptop.
Sure, as are German ICEs, but are they a good replacement for connecting flights? In my experience, taking a long-distance high-speed train to catch a flight can be pretty stressful/risky.

I suspect that a large portion of domestic flights in Germany, France, Italy, and other countries with a well-established rail network are used for just that.
Go is now a functional language
(genuinely asking) Is there another theoretical system that properly incentivizes people to compete with each other, innovate, and take risks to solve problems? I ask in the "build new solutions" space – we all know there are plenty of rent-seeking businesses that add no value but just take money from everyone. I'm not trying to defend any of that. I'm only asking in the case of "people doing new, innovative things and solving difficult problems" space.
Nah you don't get to decide if someone flies their craft purely for enjoyment. Doesn't matter if it "contributes" to global warming. It's not a needle mover at all and this is just about control. It's a slippery slope. I will not tolerate this slippery slope at all. These bureacrats will just have to be satisfied with enacting real meaningful changes where they matter - not on regulating people's free choice and free exercise and how easily and quickly they can move around their homeland via electric planes.

This is all one big slippery slope towards tyrants regulating every aspect of an individual's life in the name of carbon emissions. You don't get to decide what flights are a waste of fuel. You also don't get to evaluate and decide how someone else should spend their hard-earned money.

If there were no more flights at all, of any kind, that would represent 4% of emissions. That's for the entire planet's worth of flights. This change here won't make any difference at all to emissions, but they'll definitely empower bureacrats who are salivating at every prospect of making themselves more powerful at everyone else's expense.
I've heard it first hand from a former head of a national agency of another country, say "the C... became a monster" due to the concentration of power it had/has.

It's the entrenched bureaucracy of all flavors.
I hope it gets modules to make it look as awesome as Cool Retro Term:

https://github.com/Swordfish90/cool-retro-term
An efficient finetuning approach that reduces memory usage enough to finetune a 65B parameter model on a single 48GB GPU while preserving full 16-bit finetuning task performance!
You can think up poor implementations of everything. It's not a reason to not do something better.
agree, i wanted to just add that this paper might be right for projects that are not actively developed anymore something like bash or coreutils etc, as there this is fairly well tested code and there aren't that many added features that could introduce issues.

for anything that is actively developed it's a whole other story, even if you are confident that the current codebase is safe, each added feature has a risk that it breaks some unwritten contract somewhere and introduces security issues.

eg. look at recent vulnerability in sudo, at and second sight it was safe and secure, triggering it required unobvious corner case.

how many of similar issues you could have in your codebase that could be dormant for years?
The transformer doesn't have the nice pyramid shape of CNNs, but it still needs multiple layers. There have been papers showing non-trivial interactions between successive layers, forming more complex circuits.

https://transformer-circuits.pub/2021/framework/index.html (warning, advanced difficulty)

The Q an K matrices learn how to relate tokens. Each of the heads will learn to extract a different relation. For example, one will link to the next token, another will link pronouns to their references, another would be matching brackets, etc. Check out the cute diagrams here:

https://www.arxiv-vanity.com/papers/1904.02679/

So each head (Q and K pair) is like a program doing a specific pattern of lookup.
I think using an m1 computer as a home automation server is the proverbial sledgehammer to crack a nut.

Even an old latop/desktop from ebay for <$100 would work perfectly well.
“We’ll I don’t find it inappropriate so it’s completely impossible for me to bother trying to understand why someone else might.”
I have two 2015 Macs at home that are basically web browsers. Anything heavy duty gets done on my Apple Silicon McBook Pro.
Private planes and flights are a _much_ bigger world than private jets for the ultra rich. Many moderately wealthy (and some surprisingly poor) people fly regularly, either for work or for fun, and many of those flights are either beneficial to society or no worse than other recreational activities. Some examples of flights that would start and end at the same airport:

* Farmers flying to review and maintain their fields/livestock

* Pilots practicing by taking off, flying around, touch-and-gos on the runway, etc

* Tour flights showing people around an area

* Skydiving

* Flights for shows or other entertainment
Cost of storage is the big question. Synthetic fuels might have bad efficiency. But building huge container for liquid or gas is not expensive.

Let's say you want to store fuel now and keep it for 6 months, might be realistic with gas or fuel. On other hand single cycle from battery is awfully expensive. Even if you get to use it for 100 years.
Aviator (YC S21) is hiring senior engineers excited about improving DX
That's true, but also pretty sad. Why not attempt to make trains more economical/affordable? Shared private cars can't be the answer to this.
Climpact: Understand your perception of the carbon footprint of daily actions
I'm sorry but this is upside down on every point.

1) Netflix UX is perfectly fine. You see the film, you click play - that's it.

There is no argument to be made that a) it's bad or b) pirate.com couldn't duplicate it.

The business model fluctuates but they and Disney+ will eke out a profit - but only because of anti-piracy.

2) "Why would it? Blockbusters/Pop" - it's completely glib to suggest that investors would back films with $100M price tags (or any price tag) if the films were available at 'pirate.com' for free, at any time.

3) "If you can't provide better service that a random project that can't even get funds legally, what does it tell about your business?"

I don't think you're grasping the premise here: the 'cost' of the business is mostly the cost of content. Netflix has to pay for content, 'pirate.com' does not.

It's a total misunderstanding of the economics to suggest that Netflix should be able to 'compete with pirate.com or die'.

Getting Mp3s from iTunes was highly convenient - people preferred to not pay and so, the market for Mp3 evaporated, much like the market for films would evaporate.

4) "So fine that without tax payers money they go broke."

Again, a complete misunderstanding of the analogy: markets for physical goods work mostly fine - your arguments about 'subsidies for milk' are completely besides the point.

The point is: if physical goods could all be arbitrarily stolen, even at no cost to the producer, there would be no sales, and therefore no business. DRM enables content business to exist, otherwise, for the most part they would not.

5) "Non violent civil disobedience vs abstract entities"

And there it is: it's ok to steal stuff because 'Social Justice'!

You're just protecting yours and other people's rights!

This is actually the moral flatulence at the heart of the argument, and it exemplifies the ridiculous hoops people will jump through to justify it.

In IP culture, it's a theft of sorts, it's not the end of the world, but it is the end of content if there are no regs there.

As far as we know - there are zero economies that product good content without some form of IP regs - until someone comes along and proves otherwise, this is roughly how we need to do it.

Hopefully the EU will not lose their marbles over it.
Eh, that's his goal...the only person who has the right to decide that is him. Hypothetically, How would you suggest working on a "more equitable and just system"? Any actions from you that we can imitate?
Just use a non-graphical ssh session if you just want a shell on the remote machine
In your example, the work in progress page traditionally never gets to know that the user logged in until the user refreshes that page. That is exactly the status quo UX that sucks.
I think you can rent the spot on the pole, if you’d like to put a device there (e.g. a Wi-Fi retransmitter).
short-haul-washing
now here we have "X considered harmful" - a common Trope.
This seems more like a "First!" to title their paper this, as a meme of the whitepaper meta, that title came first, then the arguments came.
I say this because I joked about a paper being released with this name about a week ago and now here it is, but Its a bit lower quality than expected.
We might need another one later...
China invests a significant chunk more into renewable energies than the US. More than double actually.

In fact, a higher percentage of their total energy is met by renewables than for the US. They have 3x the capacity of the US while their per person energy usage and emissions are still significantly lower than US.

Let's not pretend China does nothing.

https://www.weforum.org/agenda/2022/02/ranked-10-countries-e...

https://ourworldindata.org/grapher/primary-energy-renewables
You will need one for AI
Link? I didn't find it in https://platform.openai.com/examples
Ukraine is shooting down Russian hypersonic missiles with old NATO kit [1].

[1] https://www.reuters.com/world/europe/air-defence-systems-rep...
Well just limit the scroll buffer then
Nice try, media company employee ;)

/jk
Ask HN: Recommendations for Server Colocation?
Does anyone have any recommendations for server colocation services?

Ideally, closer to Miami is ideal for what I'm looking for, with a stable network, near 1:1 ratio of ingress/egress, and I want to host GPU-enabled servers (optimized for gaming).

Otherwise, if colocation isn't available but you have any other recommendations for something that meets this description, I'd like to hear about it.
I come from a family of master plumbers and I was my uncles helper as soon as I was old enough to hold a 5 gallon bucket and bring back the right tool. Over the course of growing up I did all sorts of different trades, I banged nails, tore off roofs, I bent conduit and I've tiled thousands of square feet of flooring and walls and I hated almost every minute of it. Working in shitty conditions, getting screamed at because you don't move fast enough, low wages and permanent damage to your body is not something I'd sign up for long term
I’m imagining taping a laser pointer to shine into the camera. Can’t count as obstruction of justice?
Has anyone bought his book: "Machine Learning Q and AI"?

Is it a helpful read as a cliff notes for the latest in Generative AI?
Chinese chemical firms earned millions supplying fentanyl to drug cartels
I'm looking up the reasons why, and it seems quite complex.

On the one hand, it does seem like aviation has unfair (?) advantages, in that there's no VAT on plane tickets and no tax on aviation fuel.

But on the other hand, laying+maintaining railroad track (and acquiring the land) is quite expensive, while airplanes only need an airport built at either end. Plus train trips just take longer, leading to higher crew costs. And then airlines offset cheaper coach seats with expensive first-class, plus lots of upgrade fees, while the opportunities here are smaller for rail.

Does protectionism also factor in to TGV? I can't find anything on that.
"Rewrite it in Rust" is another class of "I use Arch, BTW"; one of those phrases no one has ever actually heard unironically, and that is only used to attack the strawman who supposedly said it.
> I think it is a lot easier to do so with an expressive, physically embodied musical instrument.

Completely agree. I currently run 5 MIDI controllers with Ableton: 3 Launchpads (one for launching clips, and the other two for controlling step sequencers), a Launch Control for knobs, and a basic 61-key MIDI keyboard.

I used to do it all with a mouse, but when I added that first Launchpad for punching in sequences by hand, I felt so much more creative.

Clearly, I still use the mouse for lots of things. And, doing everything by way of a controller (like the Push) is not really desirable to me. But creating patterns, playing chords/melodies on the keys, and tweaking synth params with hardware pots by hand just feels better. Like you, I don't have to think about what I'm doing. I just do it. Clicking in notes on piano roll really can't compete. imo.
Title is missing "(with Go)".

Not sure why it was removed, that makes the whole thing much more interesting to me.
Is there anything preventing the Texas energy company from offering something similar? Alternatively, maybe an insurance company could effectively insure against high prices.
> What issues?

Article mentions some.

And please notice that we are not advocating for the complete elimination of modals; rather, to avoid their use in specific situations.
It's a black art (e.g. Windows Installer). But these days using open tools it's not so bad. A desktop app can be built early with only free microsoft tools and really well packaged with free non-microsoft (ok microsoft-adjacent) tools like Squirrel. That wouldn't make them isolated in the sense of store apps, however.
Book: Machine Learning Q and AI
There's plenty of good content in this paper. FFI safety is a very important topic, and there are unique concerns with Rust FFI. Such a shame it devolves into unprofessional and inflammatory remarks. The authors could have put their names on the paper and gotten a decent credit if they could have kept their emotional responses to the topic out of it.
Yup silly.. And people consider the closest mostly in the sense of the closest distance between orbits not distance between planets...
I don’t know how the pay is where you are. It’s fine in the country I live in.
Several providers offer full exposure in Sweden. It is particularly used by people with electric cars who want to charge it as cheap as possible. And yes you can end up with 8000€ electricity bill if you are really not careful.