skysight-inc/HackerNews huggingface dataset:
Nanohybrid therapeutic for modulation of immunity in an arthritis model
A p-norm of 3 make quit a funky "retro" rounded corner style for avatars. It also shows what the "opposite" of rounded corners might look like. In CSS you can only go to a circle.
What distros do this? As far as I can tell Debian doesn’t anymore (the build system signs builds), Fedora doesn’t, and Arch…I can’t tell but I don’t think it does. But maybe I’m wrong.

The NixOS build system signs all build outputs with its key and the signature is verified upon download. If you’re paranoid, Nix at least makes it easy to just build everything from source.
Well said. It's a bit disheartening that there's no other companies as capable as SpaceX, but man am I happy we have them. When the company I was a cofounder was still up an year ago I would have rather had it founder than SpaceX.
Downtown Tech Office Shuts Down Free Cocktail Bar, CEO Says 'The Office Is Dead'
He just said they did it as a hobby since childhood. That doesn't make them geniuses.
Sounds like wage theft. I’d ask the State Attorney General to look into things
A "third minute" (of 1/60 second) could be useful in talking about human reaction times. We could say that people commonly have a reaction time of 7 to 15 thirds, and that alcohol consumption may slow that reaction time by a further 8 thirds or more.

Or, speedrunners and professional musicians can practice motions (relative to their own motions or to an ongoing rhythm) that are accurate to about 1 third.

I assume the terminology would be too easy to confuse with ⅓, so maybe they would have to be called "terces" or "tertians" or "tertiaries" or something. (Specifically, we want to say (1/60)³ hour rather than (1/3) minute!) And maybe it's not a great thing to introduce a non-decimal unit when we're also trying to get rid of them in many other contexts.
Yes, it's odd that sled dogs make terrible housepets. /s

Neural networks fundamentally aren't designed to be otherwise. The workflow that has guided their entire development for over a decade is based around expensive training and static inference.
A flat earth would have pi at about 3.14159 though.
>... rather than relying on the crutch of intuition from Euclidean space

Euclidean space is not a good crutch, but there are other, much more meaningful, crutches available, like (orthogonal) polynomials, Fourier series etc. Not mentioning any motivations/applications is a pedagogical mistake IMO.

I think we need some platform for creating annotated versions of math books (as a community project) - that could really help.
If you prefer for some universal constants to be round numbers you can choose a Natural Units systems according to your preference. For example in some of these systems c = 1, which turns Einstein's famous equation into just E = m. Convenient.
While I’m getting past the paywall, ( got it, https://archive.ph/QxH8Y ) how about this gem of a home?

San Jose house listed for $1.5 million comes with meth lab. Buyer gets the cleanup.

https://www.mercurynews.com/2023/10/27/san-jose-house-listed...

Vista Park home was previously used by suspect in bombings of PG&E transformers

Mercury News articles usually are paywalled. Use archive.md if so.

https://archive.md/2U3Ue

If you’re on the market for a San Jose fixer-upper, here’s a doozy: This one can’t be legally inhabited until the inactive meth lab inside is cleaned up. The list price? $1.5 million.

It’s being sold as-is — and the purchaser will get it sight unseen. At least on the inside. No access to the house will be provided before the Santa Clara County Health department gives its approval, the property listing notes.

The San Jose home, about a block north of Gunderson High School, was raided in March of this year as part of an explosives investigation targeting 36-year-old Peter Karasev, who investigators said was using it as a base to stockpile bomb-making chemicals and methamphetamines.

Over the course of four days, San Jose police and explosive specialists with the FBI and National Guard uncovered “homemade liquid explosive, multiple energetic homemade destructive devices and multiple suspected destructive devices,” unspecified bomb-making materials, and pipe bombs, the Mercury News previously reported

Zillow Listing (just FYI, I get no commission on this beauty)

https://www.zillow.com/homedetails/668-Potomac-Ct-San-Jose-C...
Performance is not a "for cause" reason.
> Do lambdas not fail to run / error out? I’m not following.

You generally have some kind of monitoring/alerting built in. With cron the usual behaviour is to email root@localhost using local sendmail, which generally achieves nothing except for filling up /var.
Two things I've been waiting on for years:

• MST (DisplayPort daisy chaining) in MacOS. The hardware has supported it for over a decade. The OS is the weak link here. It's the difference between spending $75-$300 for a dock in addition to the cables and just connecting the monitors together along with a single cable to the first monitor.

• Non-soldered storage. Seriously. Storage is the most likely component to fail. SSDs only have so many write cycles.

• BIOS on a separate chip. To make matters worse, with the introduction of the T2 chip, the BIOS is stored on the SSD as well. This means if the SSD fails, you don't just lose your data; you have an expensive brick. You can't even boot to external drive anymore if one of the two SSD chips fails.

• Safer SSD chips. If a cheap capacitor fails on newer Macs, 13V gets shorted straight to the SSD. The SSD commonly doesn't survive this. And since the BIOS is on the SSD now… Literal ten cent part blows up your multi-thousand dollar laptop with zero warning.

https://youtu.be/RYG4VMqatEY
Not again, they use HN as advertising for their shitty scam board. Its supposed to have 32 Gigs MMC, mine only has 14 Gigs show up and the support ignores me.

China trash, buy something from a more reputable company.

They also used AI to create some cringe promo website that tried super hard to connect their "hacker board" with Cyberpunk 2077. Do not trust them!

Theirs "OS" is a shitty front-end for Docker that has zero concerns for security.
You've been downvoted to oblivion, but let me add a personal rebuttal for anyone else that finds themselves here: I don't agree at all about "not coming to proper fruition": DTrace was an absurdly outsized success by any metric; Fishworks was if anything too commercially successful (we did nearly $100M of business our first year!); Joyent represented a successful exit to Samsung, etc. I have been extraordinarily blessed to be in the right place at the right time with the right folks several times over -- but never more so than at Oxide: our ambition is absurdly ambitious, but it has never felt more attainable!

All of that said: thank you for keeping your fingers crossed. ;)
What an odd take. You start from a significant oversimplification and then point to 'statistics' in an entirely different context/culture/society as 'proof' that, basically, white collar stress isn't real stress.
My team at Kong would agree - as maintainers of a very feature-rich implementation of Ingress we've felt the pain of pushing Ingress to the limits of its expressive power (hence our current strong focus on Gateway API).

The Ingress API is fine as long as you're in the "basic proxying with simple path-based routing" territory, but once you want to do something more serious (route by query string, configure weighted load balancing, work with TLS, deal with methods, etc - let alone other protocols than HTTP) you're kinda stuck with vendor-specific extensions that mostly rely on annotations.

Kong has an implementation of Gateway API for HTTP(S), TCP, UDP, TLS, gRPC that aims to offer a fairly smooth transition from Ingress to Gateway API by supporting both in our Kong Ingress Controller and working on conversion tooling (we're the only provider other than nginx currently available in the ingress2gateway tool). We strongly believe that (at least Kong's implementation of) Gateway API will be much easier to use than Ingress.

You can try out Kong's (certified conformant with Gateway API "core" profile) beta implementation by following [1] for HTTP. There's a guide for gRPC as well, among others [2]. As Kong's implementation of Gateway API [3] is nearing general availability, we're very open to community feedback.

[1] https://docs.konghq.com/kubernetes-ingress-controller/2.12.x...

[2] https://docs.konghq.com/kubernetes-ingress-controller/2.12.x...

[3] https://github.com/Kong/kubernetes-ingress-controller
Just FYI my work's network has blocked your site as "Malicious"

(Symantec Endpoint Protection chrome extension)
Its interesting working at a corporate that has significant money invested in CBD properties.

The message has gradually been "You must come back to the office, for productivity and water cooler talks".

Absolute arsehats; the real message is "We've invested so much in CBD real estate, we want to force everyone to do a non-optimal strategy, and drive those cars into a small area, for hours of lost effort. Because shareholders."
The article notes "the Pasteurella bacteria generally lives harmlessly" in antelopes, but became more virulent, possibly because of above-average temperatures. There's also a mention that the elephants were likely stressed because of drought conditions. Those facts suggest a link to climate change, and could be a bit of a canary-in-the-coalmine for humans and infectious diseases.
I like to joke that because Vercel doesn't make money when you run components in the client, and React is now made for Vercel, that React is now developed for backends.

I'm a big fan of OSS projects being sponsored by companies that use them for a higher level business. Vs a ton of the C# ecosystem where they try to sell you the library/framework.

But hosting businesses ain't it when it comes to frameworks.. It creates weird incentives.
You can have any Pi_Earth you like where 0 < Pi_Earth < Pi_Euclidian
Given that at least one other explicitly mentions witholding identity by request:

https://www.southpolestation.com/news/medevac2003/medevac200...

...maybe they just asked? ¯\_(ツ)_/¯
Note that even if another universe has a different π when it comes to geometry they are still going to also have an important constant that has the same value as our π.

E.g., the zeros of the function defined by the series x - x^3/3! + x^5/5! - x^7/7! + ... are nπ where n is an integer and π is our π. Another place our pi will come up is in the exponential function. It's periodic with period 2πi.
How much has video lag improved?
IP-KVMs are more useful for fixing remote access without physically interacting servers. In cases where a server is stuck in BIOS, BSoD, wrong IP configured, just waiting for a RETURN key input, etc. and not responding to RDP/VNC/SSH, an operator can log into KVM to unstuck it.
This is the sort of thing that makes me want to learn VR development.
You can do 4K@30 for most the part on a 4090 with max settings, no super-sampling or frame generation, with max ray-tracing on. The early bit in the forest it'd dip down to 21-24FPS though, so I up dropped the render resolution to 1440p.
The brain isn't a faster computer.

An infinitely-fast computer wouldn't meaningfully change the "expensive training vs fast, static inference" workflow that neural networks have always been developed around (except in the most brute force-y "retrain on the entire world, every single nanosecond" sense).
It’s not cynical it’s just sloppy thinking.

The “tunnels under hospitals” thing has been a topic for years if not decades. As the conflict heats up again, it’s totally predictable both that there would be media commentary and that military action would be “justified” with it.
Some people avoid large providers, since large providers have approximately no incentive whatsoever to keep you, specifically, as a customer. I.e. large providers will happily raise their prices, alter the deal, throw you under the bus, disable your account, delete all you data and then refuse to talk to you. They can do this because, when they look at the big picture, you don’t matter to them. And since doing this saves them some money, they all do it.
Sans and mono as variable font are each around 45kb for the .woff2 - not bad!
Weird. Thanks for the heads up. I'm using SiteGround to host it which is shared hosting so perhaps that's why? I'll have to investigate.
https://archive.ph/tSNeI
You can do 4K@30 for most the part on a 4090 with max settings, no super-sampling or frame generation, with max ray-tracing on. The early bit in the forest it'd dip down to 21-24FPS though, so I up dropped the render resolution to 1440p.

Though if you flip on frame generation at 4K max settings, you can do 60+ FPS
And I’d ask the taxing authorities to be ready for an increased tax payment from my employer.
Either you mean 'too late' or that's a complicated way of making a dissenting point?
Why then all the talk about AGI when fundamentals don’t even allow for it to emerge.
Are fonts for programmers/designers just really easy to make or something? there has to be dozens if not hundreds I've seen actively promoted so far.

I'm not saying people can't make what they want, I just don't see the point in making flashy websites trying to "sell" their free font?
In the software world, this is called 'Vaporware'.
Or the god awful roles. I think my friends dice want to see him dead.
>> Programming requires a lot more formal rigor than mathematical proof writing.

> This is is just wrong? Syntax rigour has almost nothing to do with correctness.

1. It's all fine and well to wave your hand at "Syntax rigour", but if your code doesn't even parse then you won't get far toward "correctness". The frustration with having to write code that parses was extremely common among the students I am referring to in my original post -- it seemed incidental and unnecessary. It might be incidental, but at least for now it's definitely not unnecessary.

2. It's not just syntactic rigor. I gave two other examples which are not primarily syntactic trip-ups: understanding nested loops and simple recursion. (This actually makes sense -- how often in undergraduate math do you write a proof that involves multiple interacting inductions? It happens, but isn't a particularly common item in the arsenal. And even when you do, the precise way in which the two inductions proceed is almost always irrelevant to the argument because you don't care about the "runtime" of a proof. So the fact that students toward the end of undergraduate struggle with this isn't particularly surprising.)

Even elementary programming ability demands a type of rigor we'll call "implementation rigor". Understanding how nested loops actually work and why switching the order of two nested loops might result in wildly different runtimes. Understanding that two variables that happen to have the same name and two different points in the program might not be referring to the same piece of memory. Etc.

Mathematical maturity doesn't traditionally emphasize this type of "implementation rigor" -- even a mathematician at the end of their undergraduate studies often won't have a novice programmer's level of "implementation rigor".

I am not quite sure why you are being so defensive on this point. To anyone who has educated both mathematicians and computer scientists, it's a fairly obvious point and plainly observable out in the real world. Going on about curry-howard and other abstract nonsense seems to wildly and radically miss this point.
> Too bad, because EV rentals directly lead to sales.

Yea, no. Electric cars are the cheapest option in most rental fleets because demand is tiny, compared to ICE. The rental EV experience is terrible, primarily because, unlike owners, renters don't have a home/garage charger they can rely on. Instead you have to hope that the hotel you're at has a charger, that it works, that it's compatible, that it won't take too long, that there isn't someone else using it. And if you don't return the car 80-90% charged, you pay a fee that's more expensive than filling a typical tank with gasoline!

This author nails it:
https://archive.ph/yFwEo
And a small service can go under anytime, without any real warning.

Most big providers end up being cheaper for you as well. Vercel is insanely expensive.
Amusing title.
And by skimming at the table of contents, guess that's how I learnt linear algebra many years ago as an undergrad student.

Guess I need to re-learn it again.
Mortimer Adler says that history is closer to fiction than many other forms of books. It's not even data. Autobiographies in particular are rarely true, but not entirely false. It seems that the more data one has, the more likely they are to be biased in interpretation.
> Just one note - the link in your Github readme to https://umarbutler.com/open-australian-legal-corpus doesn't seem to go anywhere.

Thanks for the heads up! I've fixed that now.

> For someone interested in using the data (and help out with bugs/issues), where would you suggest starting?

I think the best place to start is by downloading the Corpus (visit https://huggingface.co/datasets/umarbutler/open-australian-l... , and then click "Files and versions" and then "corpus.jsonl"). You can then use my Python library orjsonl to parse the dataset (you'd run, `corpus = orjsonl.load('corpus.jsonl')`). At that point, there's any number of applications you could use the dataset for. You could pretrain a model like BERT, ELECTRA, etc... and share it on HuggingFace. You could connect the dataset to GPT and do RAG over it. Etc...
When you say “massive amount of energy” are you comparing the energy requirements to a single human or to the billions of years of solar and geothermal energy that went into producing the human species?
Not to minimize the risk to health in blue collar jobs, but I’ve done some, and if you reduced that risk to be similar to office jobs and equalized the pay, I’d pick them over office work, no question.

Now, that’s some big “if”s, but all I mean is that some aspects of office work are in fact pretty bad.

A couple weeks into my wife starting a “cushy” standard knowledge work office job with a fairly typical level of demand for actual work (i.e. not all that much, really), coming from one that kept her on her feet and constantly busy and thinking, she said something like: “oh wow, now I get why you’re always so drained at the end of every day”.

Staring at a computer all day sucks. That doesn’t mean I’d rather be doing roofing, all factors considered, but it does suck.
The PC (1981) predates the first color 3270 terminals like the IBM 3179 (1984). A 3179 had 7 colors: pink, red, blue, yellow, green, white, and turquoise. I used one & remember it looking quite good but different from PCs of its day.
To keep it constructive, please explain why systemic fungal infections is not likely to be the cause, and what coule be the cause.
Expectations of a sudden, rapid transition have been made for the better part of a decade. Microsoft teamed up with qualcomm to build win10-on-ARM laptops back in 2016.
> I suggest that these people express their criticism by not using the software in question.

Do you also suggest that when an application is ad-ridden or potentially malware-ridden to also just not use the app? Naturally that's an option, but the review is to warn other users of their experience.

I don't think death threats or calling people slurs is appropriate, but the review being complained about it is pretty mundane.
Okinawa's ants show reduced seasonal behavior in areas with more development
Why would they not? Watching fireplaces is relaxing, handling firewood less so.
It's 'beyond the level of inadequacy' which is amusingly ambiguous!
in my opinion GE is the great british novel. it takes a child through to an adult (very scarily at the start) in a really believable sequence, beautifully (and often very funnily) written. and both endings (there are two) make me cry.

moonstone is a sub sherlock holmes detective story
I guess what I’m describing is the difference of trauma/suffering (both physical and mental) vs not. There’s too much psychology in play when dealing with how we handle trauma to trust a self reported metric.
Can you really just download epic? Like it’s free? I thought it was super specialized and you had to have some kind of business relationship to get access to it. I tried to find it online but didn’t see anything.
I can do all that with puppet without the extra complexity of containers.
Agreed, but I do also think that order emerged from chaos. It’s an easy claim when order is defined by itself!

But in reality, we’re equipped exactly to exist, and we still wonder why in a backwards way, even with education (guilty!)

AI is the task of playing God like toddlers at recess, and LLMs the tower of babel. I still wanna play, it’s fun
Do you have any evidence to back this up? It seems like it was the SV's dream in the nineties, yet so far it failed. Economical and intellectual connections doesn't seem to prevent us from being divided and ultimately waging war...
Just downvote and/or flag and move on. Posting in the thread (like this, which I almost never do) doesn’t help.
I want to do my next one awake, but still treated to relax, how terrible was it? I assume the root canal was worse, right??
The archive.ph links never work for me. The are you human, check always gets stuck in a loop. Is there there any way around that?
I once wanted to build one like this, but for console devkits. That situation was and went, but I did end up wanting to have the same for all windows machines at work and home (Unity dev, so workstations, test runners even servers are desktop windows machines).

My solution was:

-BIOS: auto-power on when power is connected

-Smart power plugs on important computers

-AnyDesk for software on all machines, with unattended password set (connectable even at login screen, less annoying for licenses than Teamviewer)

-(Optional) my own WoL sending / restarting / RAT program for all the machines too

-(Optional) Parsec also installed, to allow remote desktop good enough latency/control wise for actually gaming remotely (which I often did!)

This way, I will never be stuck in a situation that I can't access a machine that I'm away from, unless it's one of those without a smartplug and has somehow hard crashed. Costs less than 20€ per machine. I've NEVER needed to access the bios or similar remotely.

I've recently played around with a lot of SBC's and have a spare capture card and cheaper sbc's that could work as OTG keyboards. Might end up building a crappy version of one of these for fun
His trolling is directed at the ideological extremism you exhibit, where you smear anyone who criticizes the left-wing establishment's positions as a "right wing extremist".

This intolerance to dissent was responsible for billions of innocent people being imprisoned in their homes during the COVID pandemic
That's the same thing, but presented even more bluntly as an open appeal to your baser desire for a mystery, but it's still clickbait nonetheless - it's presenting itself as a mystery without any further reason information other than "elephants died". "Endangered" is emotional content without any further information; all elephants are endangered (or at the very least vulnerable) so this is another hint that the title is emotional (clickbait) driven rather than a useful summary.

The Guardian aims itself at people who like to consider themselves more intelligent than the average bear. The clickbait will therefore be toned down a little. Some people still prefer it to not exist at all, if possible.