skysight-inc/HackerNews huggingface dataset:
> More generally, no private company would be able to fund fundamental research and turn a profit.

I have to imagine you mean turn a profit directly on the research itself (isolated down to the cost per specific item of research).

Because obviously big tech can quite trivially fund fundamental research at an enormous scale as they see fit while printing their traditional gigantic profits.

Apple + Microsoft + Facebook + Amazon + Nvidia + Google = over half a trillion dollars in annual operating income (around $126 billion in op income last quarter).

They could fund NASA (~$25 billion) and would never really notice it. It'd take about four to six months of further op income growth by those six companies and NASA's budget would be covered in perpetuity.
Not just that but there's no time frame in the blog post. They mention that Pingora was released a few months ago (which was really 10) however I doubt they spent 10 months on the singular change.

So lets very conservatively assume 2 months. 12 months in a year so 6 40k savings a year. Thats 240k which is still below a fang salary but yeah it's per year forever and also as cloudflare gets bigger the 40k would turn into 50k without anybody acknowledging it.
I think it’s important to clarify that describing the Babylonian method of estimating the area under a curve using trapezoids as "proto-integration" or "pre-calculus" might be a bit misleading. While their approach demonstrates an impressive grasp of geometry and an early method for approximating areas, it doesn't quite align with the formal development of calculus that emerged centuries later.

Madhava of Sangamagrama, a 14th-century Indian mathematician, made groundbreaking contributions to calculus that were far more advanced. He is known for discovering infinite series expansions for trigonometric functions such as sine, cosine, and arctangent, as well as deriving power series for π. His work included innovative methods for numerically approximating π to remarkable precision. In comparison, Madhava's achievements represent a significant evolution in mathematical thought. While the Babylonians were certainly ahead of their time, their techniques were still relatively basic when juxtaposed with the sophisticated concepts introduced by Madhava. His work laid critical groundwork for the later development of calculus by figures like Newton and Leibniz.

The Babylonians, while advanced for their time, were still operating in a more primitive mathematical framework. So while the Babylonians showed an inkling of ideas that would later blossom into calculus, it's an overstatement to equate their methods directly with calculus. Madhava's work represents a much more mature and developed understanding of these concepts. The Babylonians were pioneers, but Madhava was a revolutionary in comparison. Let's give credit where it's due!
We were just this week talking at work about all the many and varied names that people make up for “weighted average between smoothed value and new sample”. :D
It's a probabilistic attack. Of course there are workarounds and doesn't work when people are touch typists and don't look at their keyboards...

Brilliant though, just brilliant.
As far as I know eye tracking isn’t available in VisionOS[0]

This article snippet is behind a paywall but it seems like it’s talking about the eyes that are projected on the outside of the device.

So basically it’s no more of an exploit than just tracking someone’s actual eyes.

0: https://forums.developer.apple.com/forums/thread/732552
Apple says AirPods Pro 2 can be used as 'clinical-grade' hearing aids
If you look at the video, it's not only the eyes here. There's a huge head movement too. Having a keyboard so large in your FOV that you have to turn your head to type something is a contributing factor.

I wonder what the accuracy is if you drop the eye tracking and only do head tracking on that demo.
Germany could power their entire grid using only Organic, fair-trade, hand-picked, artisanal Uranium and still be far ahead of relying on fracked gas and petroleum.

Wind and Solar are great, but still require peaker plants to maintain 24x7x365 power. Grid-scale storage is coming along, but is still cost-prohibitive to do something like power the grid overnight from solar.
> carbon dividend: tax carbon emissions at the source and distribute the revenue equally among residents

I've always thought this would be the best way to get political support from a majority. There's enough data out there that the gov't ought to be able to (a) come up with some very firm predictions of who would come out ahead and (b) whip up a website for people to profile their own case.
> I really wish there was a third competitor in the phone space.

People say this, but I don't know if it's actually true. It would've just done a triopoly instead of a duopoly - especially when you consider the fact that the third player would've most likely been Windows Phone, which was also very closed off back when it existed, and Microsoft has only gotten more anti-consumer since.

What we really need are better laws and policies.
It's pertinent to "perception and reality may not be the same thing" and provides an example of where CPI doesn't cover the whole story properly.

Perception is subject to human factors; "practice x is corrupt, practice y is normal" may be the perception, but that doesn't mean it's accurate.
Nope: I think the laziness aspect is very interesting, but it's not something that makes Haskell (for me) a great programming language. Or, at least, it's not in my list of the top reasons (it is in there somewhere).
There is some hair-splitting around the term, but here:

https://en.wikipedia.org/wiki/Holocene_extinction
Is Gemma Open-Source?
In practice, it is not so hard. I have been using Python for decades, and there is no problem.

The same is true for YAML, which is not perfect for communicating among machines but is more accessible for human input/output communication. A good pattern is what Kubernetes does; it shows and reads YAML to/from humans and uses JSON and GRPC for proper machine-to-machine communication.
"any peer public IP can impersonate any other (if it has the required WireGuard peer key"

Right. So you want to put in IP filtering on top of that, having already had a compromised connection?

The biggest issue I have with wireguard is the tendancy for clients to actually show the private key. It shouldn't generally be visible, there's no needs.
Regarding NYPD pension: "With 5 years of service credit, you become vested and are entitled to a monthly benefit that may start as early as age 55."
We know the process to train a model, but when a model makes a prediction we don't know exactly "how" it predicts the way it does.

We can use the economy as an analogy. No single person really understands the whole supply chain. But we know that each person in the supply chain is trying to maximize their own profit, and that ultimately delivers goods and services to a consumer.
That incident probably underscores the parent poster's point quite effectively.

That launch was on 20th April 2023, and the next prototype test launch was only 212 days later on 18th November 2023, although I think the pad redesign/rebuild/repair work was complete by the end of July 2023.

So only 3-4 months to redesign/rebuild/repair the pad (although it's probably reasonable to assume some design work had already occurred).
bollocks. we have to pay for cloud people to manage the cloud stuff, and they're the same people except they have a cloud certification and can charge $8/hr more.

labor savings and simplification of processes with cloud never happened; if anything they got worse, and OpEx is higher than ever.
It is the clutch. The clutch is your flywheel; it's free floating and connected to the driveshaft with springs. When its engaged, it is connected to both shafts by springs. When it's disconnected it's only connected to the driveshaft by springs.
It's getting better. Apple's summarizing multiple notifications coming in 18.1 (you can try this in the beta today) and only highlighting "important" notifications by default. I haven't seen any evidence of them abusing this, either.
Throw people for a loop and switch your headset keyboard to DVORAK. When they scan your eye movements and apply to QWERTY, they'll be confused AF!
Been using the beta with my kid for a few months, it's great. I got to take the parental lock code off of my own account and I no longer have to hide Genital Jousting from my own library.
Collagen Lasts
A function in which the input is needed for the computation is very different to one where it's not needed. I would expect the type signature to reflect this, why would you want it otherwise?
Whats your point
Been running Bhyve on FreeBSD (technically FreeNAS). Found PCIe pass-through of NMVe drives was fairly straight forward once the correct incantations were found, but network speed to host has been fairly abysmal. On my admittedly aging Threadripper 1920X, I can only get ~2-3 Gbps peak from a Linux guest.

That's with virtio, the virtual intel "card" is even slower.

They went with Illumos though, so curious if the poor performance is a FreeBSD-specific thing.
Yeah I also really don't understand the point that's being made here: it looks like a great way to introduce more errors.
No, I don't believe in moralistic theory, your contemporary ideas of thought are dusty and cringe.

I also believe something can be true wether or not it can be proven, which disagrees with your hypothetical world of so few dimensions. Enjoy the research, I hold my breath for human understanding through such nuanced isolation of convention. Alas, not everything may be learned from by dissecting it further.

My account of morality says there are such things as lawful and moral violence and murder (death of we were to bias the terms.)

My morality says law must be entitled, competent, and uncorrupted. Such a law may go to great extremes to protect the innocent (unculpable before law). Such a law is consistently accountable for their corruption and negligence, the basis of their entitlement.

I believe it revises nine thousand years of legal theory to say, "a righteous rule of law is one principled upon Truth, and serves to protect the innocent from violation by will or neglect."
> As a rate limiter in my application I found CPU seconds per second to be much more useful than requests per second.

This is really insightful and makes good sense. I've toyed for years with the idea of building a "Cost Benefit Cache" that basically tracked the request volume for a piece of data, the time to retrieve that data and the size of the data retrieved to make decisions about what to cache during system stress.

The idea was basically a cost benefit formula where the cost is the size of the data, so how much of the available cache space would it use, while the benefit is the seconds of savings from requests * average retrieval time. Requests per second alone doesn't really matter if the request is low/no impact.
* McDonnell Douglas
Small models often do a much better job when you have a well-defined task.
The American Con Man Who Pioneered Offshore Finance
This is a great example of why ‘user-spacey’ applications from the OS manufacturer shouldn’t be privileged beyond other applications: Because this bypasses the security layer while lulling devs into a false sense of security.
> My question for Haskellers is how to do updates of values on a large scale, let's say in a simulation.

The same way games do it. The whole world, one frame at a time. If you are simulating objects affected by gravity, you do not recalculate the position of each item in-place before moving onto the next item. You figure out all the new accelerations, velocities and positions, and then apply them all.
Yup, I get around 64mpg in a Corolla Hybrid without trying at all.
I think you just want Rust.

You can write extremely haskell-like code with Rust.

Here's the first example in rust:

fn safe_head<T>(list: &[T]) -> Option<&T> {
match list {
[first, ..] => Some(first),
[] => None,
}
}

fn print_the_first_thing(my_list: &[String]) {
match safe_head(my_list) {
Some(something) => println!("{}", something),
None => println!("You don't have any favourite things? How sad."),
}
}

fn main() {
let my_favourite_things = vec!["raindrops on roses".to_string(), "whiskers on kittens".to_string()];
let empty_list: Vec<String> = vec![];

print_the_first_thing(&my_favourite_things);

print_the_first_thing(&empty_list);
}

(of course Rust has a lot of helper functions that avoid all that verbosity -- you can do the whole thing in one expression, if you want)

println!(
"{}",
my_favourite_things.get(0).map_or(
"You don't have any favourite things? How sad.".to_string(),
|something| something.to_string()
)
);
Ah, that makes things much better for the platform page linked earlier! I see now that there was a selector at the top of the page to move specifically to the Tech guild. And it is spartan, but that feels expected for such a young guild. Huge thanks on pointing out that misread of mine!
Despite their slow pace, it's quite clear Bezos and Blue Origin + ULA will continue to plod forward. They're real competition with plenty of money behind them.
Nobody knows or cares what it is except the couple of weirdos who wrote it in a basement and people who spend too much time watching certain partisan news TV shows.
Love the idea, but i am having a hard time finding out what the code looks like. Where can i see the code for spawn, receive and send?

> ... a command-line utility designed to simplify the process of generating boilerplate code for your project based on the Ergo Framework

Why is there any boiler plate code at all? Why isn't hello world just a five line programme that spawns and sends hello world somewhere 5 times?
The issue with an EREV conversion is going to be weight, practicality, and thermal management of the battery.

Weight: You're adding about 500 lbs to the car to do this with ~20 miles of ev range. Suspension may need to be altered to support this.

Practicality: the batteries have to go somewhere and they can't go under the hood since the engine is still there, so they may go in the bottom of the trunk. From the examples I've seen there's usually less cargo capacity, and the spare tire is removed. Some vehicles that are already hybrids (e.g. Toyota sienna 2022-) have an already tight layout with exhaust and all that it becomes a design challenge to fit a larger battery.

Thermals: a li-ion battery for an EREV likely needs thermal management so it doesn't lose range prematurely, so you either need a dedicated cooling line setup that works with the ac compressor (bmw i3) or an aircooled setup where the battery is in the trunk and relies on cabin ac/heat (various toyota hybrid models do this).
Show HN: SearchBench – A Benchmark for AI Search
When you throw open Huxley's doors of perception you get an extraordinary experience in the most quotidian of conditions. Like watching a river run by or just watching the washing machine run. Non psychonauts have to do extraordinary things, like become astronauts, to get to a similar level of awe-struck. A trip on a trip is a tragic waste of a trip.
Find a niche. Something small where you're not competing with larger companies. Like you said, you don't need to make much money as an individual so there are lots of areas that companies won't touch.

I personally steer away from developer oriented products. Developers are hard to market to and there is often lots of competition of other solo devs.
SpaceX is ahead for now and may continue to be ahead but does have very real competition domestically and abroad.

Tesla : Rivian/Lucid :: SpaceX : Blue Origin/ULA
Tesla : BYD :: SpaceX : LandSpace [0]/Galactic Energy [1]

0. https://x.com/AJ_FI/status/1833761435362447760

1. https://www.space.com/galactic-energy-ceres-1-sea-launch-vid...
We know how they are formed(and how to form them), we don't know why forming in that particular way solves the problem at hand.

Even this characterization is not strictly valid anymore, there is a great deal of research into what's going on inside the black box. The problem was never that it was a black box(we can look inside at any time), but that it was hard to understand. KANs help some of that be placed into mathematical formulation. Generating mappings of activations over data similarly grants insight.
I love the name. It's just so good.
GPUs are optimized for matrices of floating point values, so current neural networks use this as a basis (with matrices containing the scalar weights).
> I think Madison is a heavily planned city

LOLNO Madison is complete mess because it's on an isthmus. Also the state capitol is right in the middle of the isthmus, so all of the streets there have to go around the capitol grounds. And then there's Schenk's Corners for example, just a total nightmare. The entire city is going in every direction at once.

The only way you can figure out how to get around Madison is to live here for decades (which I've done), via rote route memorization.

Before Madison I actually lived in downtown Minneapolis, and I always appreciated the orderliness of its streets.
Sorry, but this is a nonsense reply. I could literally use perception being subjective to prove or disprove anything.

America has a money in politics problem and local corruption issues. On a global scale, it is incredibly incorrupt. We’re also somewhat unique among developed countries in having and enforcing the FCPA, which makes it more difficult for American companies to pay bribes overseas than many European ones.
Skilled labor is somewhat transferable.

Who do you think are making the shells being shipped out to Ukraine ?
2024 Data: Can Your Favorite Characters Afford Their Famous TV and Movie Houses?
Can I prevent access to the game community art section which often has inappropriate content regardless of the games rating?
What do you mean? They are just saying that their experience is with mac, so they recommend the mac version? If anything the incredible thing is that such a normal statement can actually be perceived as something else as soon as Apple is mentioned.
The key innovation to make Tesla a success was regenerative braking along with the transmission to make it work.

Just replacing the engine with an electric motor and batteries works, but is significantly inferior.
> It was not immediately clear why the Boeing officials declined to participate. Shannon in particular is well-loved at the space agency, and the long-term press corps appreciates his candor.

That's probably the reason why Boeing pulled him out of the press conference right there...
Or maybe at least to allow users to restrict certain games from being shared?
> Not a snail's pace, but sub-highway-speed for sure.

~70kph is the optimal speed for regular gas cars, for EVs it's even lower apparently

https://www.researchgate.net/profile/Radu-Tarulescu/publicat...

https://www.polestar-forum.com/attachments/img_5724-jpg.1268...
> Which OCaml features exist in Rust but not Haskell?

Rust's most important feature! The bootstrapped implementation.
One of the tendencies I see in reviews is that the reviewer focuses on the wrong stuff. For e.g. when reviewing the design document, they focus on the validity of the requirements and they may even stray into commenting on formatting and grammar in the document; when reviewing code, they focus on design; when reviewing test cases, again they focus on reviewing requirements; when reviewing deployment scripts, they focus on the choise of infrastructure. Basically, people tend to pay attention to things that are already past the decision stage while ignoring the matter at hand.
I have a rough understanding of AVIF, and it seems that its support isn't widespread enough yet. I'll look into AVIF in more detail later.
When I was in college, I took an integrated circuit design class. I was told the software we used was around $1M per license. We had to go into the lab and use Sun computers to use it.
Similar to what's been done on earth during such experiments. Just have to do it in a controlled way in a prepared environment, and have both an administrator and a person likely versed in taking the substance to minimize risk. Of course with just a sample of one it won't yield much scientific benefit.
They skipped the small/midsized orbital rocket stage and went straight to a huge orbital launch system which has been in development for a long time and is still unproven.

New Shepard, their suborbital demonstrator, had it’s first flight 9 years ago. They could quickly prove themselves, but such a long period in development without successful orbital launches destroyed the hype.
I wouldn't really call a long-distance relationship or studying abroad the same household, so I don't think this is a good argument against the system.
I would not amount choosing between a for-loop and list-comprehension as creativity.

Nor generally any work done on a CRUD app.
No not really. Carbon emissions refers to carbon emissions which are put into our shared air and affect our shared environment.
Guy Kawasaki is always worth listening to.

This shift is real and is, in my opinion, one of the major things that transformed silicon valley away from being a force for good.
I'm confident they could come up with a filler eye animation algorithm that was convincing enough to pass muster for short periods of time. Even if hand coding something didn't quite work out, they certainly have tons of eye tracking data internally they could use to train a small model, or optimize parameters.
It's a hypothetical, sheesh. Did you read the comment?
I agree to not do it casually

But it could probably be arranged under supervision with an anesthetizer option.

They probably already have some protocol for antisocial or psychotic behavior.
> I think the Kia EV6 can charge from 10-90% in 18 minutes,

How's the battery health after 15 years ?
* Given the training data, and the architecture of the network, why does SGD with backprop find the given f? vs. any other of an infinite set.

* Why are there are a set of f each with 0-loss that work?

* Given the weight space, and an f within it, why/when is a task/skill defined as a subset of that space covered by f?

I think a major reasons why these are hard to answer is that it's assumed that NNs are operating within an inferential statistical context (ie., reversing some latent structure in the data). But they're really bad at that. In my view, they are just representation-builders that find proxy representations in a proxy "task" space (def, aprox, proxy = "shadow of some real structure, as captured in an unrelated space").
Good question

Runtime immutability is brain dead

Haskell doesn’t “solve maintainability” even remotely. Most people leaving Haskell say maintainability is worse

Haskell doesn’t solve parallelism as Haskell devs claim

Haskell is not beautiful

And that’s literally every selling point. Why choose it?
I guess the principle would be that you just don't care. The cost savings of not designing a powertrain/gearbox, not manufacturing it, reduced moving parts needing maintenance, etc etc. The trade-off _might_ be worth it.
Have you ever worked a job outside of tech?
Launch day! Proud to have been a part of this incredible journey!
Is there accessible documentation which covers installation & non-functional requirements (aka hardware/software requirements & how to setup/use the solution)
Cloud services have a lot of competition.

I can choose Hetzner, which is a high quality low cost provider of basic cloud services. I can deploy open source options onto their cloud and push costs quite low.

The cost of cloud services has not soared. And companies like Cloudflare have continued to undercut AWS at every opportunity.

Oracle, Microsoft and Google all have strong incentive to hold AWS in check on what they can charge, and they do exactly that through rampant competition.
Hopefully it uses long term data and doesn't kick you out if you log in at another location a single time. I was assuming you can't make a family if you are consistently somewhere else relative to the rest of the family members.