skysight-inc/HackerNews huggingface dataset:
Working in the government space sector, generally speaking, you're given a mission lifetime which is seen as a minimum. your payload/spacecraft/instrument needs to last at least this long. some things end up being limited by the physics of the system (See the RTG on the Voyager probes for a common example, or CEMs on plasma spectroscopy instruments for a more obscure example). However, in pretty much all cases where the physics doesn't put a hard cap on the thing you're building, nobody wants the thing building to be the first thing, or critical point of failure of the whole system.

jval43's quote puts it pretty well. It's not just that you're designing something to last, you're designing it not to fail. It also tends to help when you have a bunch of really smart folks from a number of disciplines working on the same problem.

With that said, you need to walk a fine line as far as the level of redundancy and fallbacks you put in place versus the overall SWaP (Space Weight and Power) of the system. I can go somewhat deeper into SWaP issues if you would like.
Finland will still keep 2G for a long time.
The end of an era perhaps, but not 'the end' - another commenter has already mentioned Moravec's paradox: https://en.wikipedia.org/wiki/Moravec%27s_paradox

It will be interesting if/when these models start proving major open problems, e.g. the Riemann Hypothesis. The sociological impact on the mathematical community would certainly be acute, and likely lead to a seismic shift in the understanding of what research-level mathematics is 'for'. This discussion already appears to be in progress. As an outsider I have no idea what the timeline is for such things (2 years? 10? 100?).

On the plus side, AlphaProof has the benefit over ordinary LLMs in their current form in that it does not pollute our common epistemological well, and its output is eminently interrogable (if you know Lean at last).
> Finding a proof in a formal language is trivially solvable in theory since you just have to search through possible proofs until you find one ending with the desired statement. The whole practical question is how much time it takes.

No, in my experience the whole practical question is, can it be found automatically, or can it not be found automatically? Because there is an exponential search space that conventional automated methods will not be able to chew through, it either works, or it doesn't. AlphaProof shows that for some difficult IMO problems, it works.
Maybe it’s their way to create meaning for someone?

Some edgy thought of “playing god for others”, as they said.
The election results have emboldened a lot of these takes.
You have brought nothing useful to the discussion, just insults and homophobic bigotry.
Are you suggesting some protocol layer of Fibre Channel to be used over IP over Ethernet?

TCP (in practice) runs on top of (mostly) routed IP networks and network architectures. E.g. a spine/leaf network with BGP. Fibre Channel as I understand it is mostly used in more or less point to point connections? I do see some mention of "Switched Fabric" but is that very common?
No I can't estimate the time according to dream content at all. It could seem like hours in a dream even if I’ve only been asleep half an hour.
Only if we take AC, I guess?
Cool, still sucks that you have to stop working to charge it.
At will employment coupled with a universal healthcare system would have been the best system for America, but as we know, that's an impossibility now.
That might be what's informally called a "respring", where the SpringBoard process is restarted.

SpringBoard is the process that shows the home screen, and does part of the lifecycle management for regular user apps. (i.e. if you tap an icon, it launches the app, if you swipe it away in the app switcher, it closes the app)

It is restarted to make certain changes take effect, like the system language. In the jailbreaking days, it was also restarted to make certain tweaks take effect. Of course, it can also just crash for some reason (which is likely what is happening to you)
It is my understanding that you haven’t quit until your notice period is over, you just have given notice. As such it is not surprising to me that you still have to do the job or face some consequences; you signed a contract after all. You would sue your employer too if they fired you and then immediately stopped paying you.
One-stop hubs for so much more than just snacks!
Reddit is very good for that:

https://www.reddit.com/r/woodworking/

https://www.reddit.com/r/BeginnerWoodWorking/
Nah, you could just send a SIGHUP and not have to fully restart.
Poems are not just about rhymes and beauty. I've generated a couple of poems by AI, and it never hit a quality a 10-year old could not write. Tht's nowere near the artworks produced by Keats and Yeats. Indistinguishable from the work of a child - maybe. Indistinguishable from the work of a true poet - no way.

Also "Overall, our participants reported a low level of experience with poetry: 90.4% of participants reported that they read poetry a few times per year or less" WTF are we talking about?
I very much read it as I responded, and re-reading, still interpret it as such.
You might be right that black companies do not exist and that the article is fantastical nonsense. But you seem to be making the argument it does not happen to me nor anyone I see therefore they do not exist. Isn't that not really a logical argument against their existence, but argument by personal incredulity? By definition, you would be unlikely to see or know these workers.
On the point of Japanese companies shedding staff .. There is a friendly, win-win way to move skilled staff out of your company, but my impression is it's not widely known nor often occur.

When a company finds that a particular staff member "isn't a good fit for the company" they will add this person to an informal list that is traded through back-channels with other companies. At some future time such personnel might be directly approached by headhunters on behalf of inquiring companies. Of course the current employer overlooks the poaching activity, they want the member gone. The only clue the office gets is one day out of the blue that member shows up to work wearing full interview attire, and might soon after announce that they are moving on.

For the managerial tier and above, they frequently socialize and will have a sense of when it is time to move on, in accordance with societal expectations. Given that the managerial profession comprises a relatively smaller group in Japan, they can expect to land their next gig soon enough.

As for the rest, I've heard of plenty of tactics used to induce (eventual) voluntary departure, "black" or otherwise. I don't advocate for them myself, but the culture, market, and law is what it is..
Alternative: successive developers each piled on their own, different coding preferences, leading to frankencode that requires keeping every paradigm at once in working memory
Articles like this just come from people projecting their own personal bubbles onto everyone else.

You can see the cherry picking and confirmation bias in the dismissive reference to literary fiction.
I found this: https://www.thisman.org/oldsite/

While I do not dream of this man, I found it fascinating. I don’t know how I’d come across this now. Even more interesting to me is what happens when you get rid of the oldsite part of the url… the new site is so much worse! General blog like template, theoretically more mobile friendly except way less visually attractive and interesting.
I believe his dream is to actually become something like an oligarch, the Russian model. Dude‘s a diva and his lust for attention and praise is immense. It’s very scary that such unstable person has an office position and an actual say in US politics and even war.

Edit: grammar
On iPhones, simply holding the volume up and power button for five seconds disables Face ID just like a reboot. If you have that long, it’s all you need to do.
Note if you don't have a good system prompt, other LLMs will also tell you they're ChatGPT or Claude.
Did I miss where they claimed absolute perfection in shedding their egotism or something? Because this interpretation of self-reformation after an actually humbling admission of having once lived in devotion to narcissism as being braggartry is what screams insecure egotism to me.
Don't correlate hackernews and YCombinator.

I am perfectly aware of the owner here but there is usually at least one or two posts a day here that has what I call a "hacker culture".
One thing I missed at first is that a phased array uses multiple spherical waves, but the result is actually a plane wave. Knowing this, how it works actually becomes a lot clearer.
Was waiting for someone to call it "tacky Cardassian fascist eyesore".
Well two points: Oracle isn’t really and hasn’t really been respected in several decades.

Oracle exists for one sole purpose, which is to make Larry money. Anything they “give away for free” almost always includes a non-obvious catch which you only discover during some future audit.

In this case it appears to be gpl and thus most likely harmless. But I’d expect either the license to change once people are hooked, or some glaring lack of functionality that’s not immediately obvious, that can only be remediated by purchasing a license of some sort.
It is a life-saver. Learn it once, and it is the most important tool in your diabetic toolbox.
Each party has their own valid argument that is why they're seeking the court to make a ruling. How-ever coercive threats of legal action is also in of itself constitute a encroachment of someone free will and statutory right which everything being equal could be ground for further legal recourse by the other party. You could also go into nit picking details around consent and duress during employment, which can get complicated really quickly.
so - the implication is that they are good fits for these other companies? How does this work? How do you know that Bob is not a good fit for your company but a good fit for Apple? I would suppose then different metrics are used than just quality and quantity of work as that would imply being no good wherever you went?
Really weird closing remarks at the end. The bigness of VSCode is because of the HTML- and CSS-related stuff, not the JS part, which relatively speaking can be tiny (especially if you're willing to stick with ES6 or thereabouts). Compare: Electron vs QuickJS.

The number one reason for not-JS in 2024 is because you can slough off the entire cohort and set of development practices that have calcified around _NPM_ which is about the same reason you'd have wanted to shed the baggage of "Java" in 2004—the mainstream is a magnet for low-quality output held to low standards.
True! And chances are, if you're developing website software or video game software, you'll never think about these sorts of things, it'll just be a dumb pipe for you, still.

And that's okay!

But there are other sorts of computer people than website writers and business application devs, and they're some of the people this would be interesting for!
Ageism like many other forms of bigotry is popular in some communities, and considered a high form of justifiable wit for those of a certain intellectual prowess.

“Most men die at 27, we just bury them at 72” (Mark Twain)
Second-order effects. Longer to commit means less commits which means more grab-bag commits which means less useful commits.
The article (and what is generally talked about with phased arrays) generally focuses on radio wave based phasing. This is pretty inaccessible to average hacker. However it works just as well with audio, and can be rigged up much more easily. You can get quite solid results and learn quite a lot about DSP in general
That they would disagree isn't in question. That their position is reasonable is, however, very much up for debate. Career bureaucrats are literally the pool of experience and expertise that make government agencies function, to the extent that's possible given legislative hobbles. The only thing that gets drained when these people are replaced by elected officials or private industry is expertise and theoretically sane incentives.
How interconnected everything is, even on a cosmic scale
It says it is “open source”? Does that mean the firmware can be updated? One of the best things about yubikeys is that they cannot be updated. A physical device like this that can be updated seems like you are one exploit away.
Simplicity is fine! Minimal effort is fine! But these are poorly executed. The article says the logo follows "the design language of the logos of other web technologies," but there is no design language.

The text in in random sizes and different fonts for no reason. The shapes are not all the same or all different; they are just randomly different.

It's not that any one logo looks bad; they look awful because they are _incoherent_.
That only works if it really is a fit issue/the process is primarily used for fit issues, no?

Otherwise, why would a company headhunt an employee that is doing such a bad job that another company wants to fire them?
Or SRD, in AWS: https://aws.amazon.com/blogs/hpc/in-the-search-for-performan...
>An AI capable of doing math better than humans may not be able do drive a car,

Noo, but my excuse for being unable to drive a car is precisely that I am a quirky mathematician focused on research!
Oh! Did not know that, interesting. I guess they are more alike then.
Are you sure you do? You seem to be trying to argue that a $1/year fee for a 2nd tier messaging service would be a great hardship.
The quote at the beginning of the article tells it all: "However, none pretend to describe optimal pathways for achieving a sustainable, equitable and secure energy outcome for all. Instead, they settle for “practical” solutions that avoid rocking the ships of states".

It’s an article written by a proponent of the new economy which is officially alter-globalization. It’s actually internationalist in its vision, opposed to free markets and wants a solution which is equitable for all. Everything old is new again, a spectre is haunting the new economy, the spectre of…
Save 100% on Half-Life 2 on Steam
I worked at a onsen for a month in 2004. I was an intern learning Japanese so they were easy on me, but the ladies working there were doing 6.30am to 9.30pm, every day (including weekends), no pause. The hotel owned the apartments they lived in, and everything in the town was run by onsens, so there was no "job market" really to play. I don't know how much they were paid, but it didn't seem like they were rolling in it. Many of them were complaining about their husbands not working, drinking etc., so I can only imagine that at 9.30pm, they would actually take care of everything in their homes as well. One day, one of them just collapsed, and she was given a day off.

Yet, the workers seemed to accept this as "business as usual" and were generally good-spirited. They were totally screwed over by management, cause the hotel was really expensive, and they knew they were being taken advantage of. But such is the effect of culture on people.

Anyways, all this to say that I think that pretty much every job in Japan would be seen as the darkest shade of black in the West. And I can't imagine how awful the conditions must be for the blacker companies in Japan.
Yeah the intuition, is that the sphere of the signal is so large, that any small section of it can be approximated to a plane
I read your second paragraph as vagueness is fine, which sort of makes DRY not a helpful principle but a handwavy problem statement with no clear anything.

As in most vague problems, two extreme solutions (join vs dup) are a wrong way to think about it. I have some ideas on how to turn this into a spectrum in a nearby comment.

I think it is important because DRY-flavored problem is basically the thing you meet in the code most. At least that is my experience, as a guy who hates typing out and rediscovering knowledge from slightly different code blocks or tangled multi-path procedures and refactoring these — either in hope that nothing breaks in multiple places, or that you won’t forget to update that one semi-copy.

I’m programming for a very long time and seemingly no one ever even tried to address this in any sensible way.
Black companies certainly still exist and still mistreat their employees—I know quite a few people that work a lot of overtime with no extra pay, experience パワハラ, are the longest tenured employee around after just one year because of the massive turnover... Just because some people (you, the other people you mention) don't experience this doesn't mean nobody else does.
I‘m on bluesky and the new users explosion is real. The thing got more active in 2 days than in an year.
Android: Settings -> About (just checked mine, 10...*), check your IP. We have 3 providers in our country, all 3 are using ipv4 "lan" for phone connectivity, behind NAT and I am observing this situation around most of EU (Germany, Austria, Portugal, Italy, Spain, France, various providers).
White collar workers are typically hauling their kids around on a regular basis. While it's possible to take a small child to a neighborhood school on a bike, we're often going to after-school activities that are too far away for cycling to be practical even with an e-bike. And forget about public transit, it often doesn't go to those places at all or is so slow that it's impossible to arrive on time.
>> i can't tell the difference

> i did see differences.

Spot the difference. ;-)

> but i can do the same in pike if i tried, and i expect in lisp and other languages too.

Absolutely you can! You can even do it in C: write yourself a message-passing library in C. You might want to call it Objective-C. Or do a VM for Smalltalk.

> where then is the great revelation that comes from smalltalk?

The claim was not that the great revelation came from Smalltalk, but that it came from message passing:

>>> Message passing belongs up there with lisp, forth and pure functional programming as paradigms that are worth learning for "the profound enlightenment experience you will have when you finally get it."

Smalltalk isn't even mentioned in that little section about the enlightenment.

And in fact, Smalltalk's form of message-passing is pretty limited, it only just extends beyond method invocation and it certainly can be (and is) frequently used just like method invocation. If you want to do more sophisticated things, you mostly have to go via the DNU handler, which is a bit hacky.

And in fact, Alan Kay's famous OOPSLA '97 quip "I made up the term object oriented. And I can tell you I did not have C++ in mind." was followed immediately with the slightly less famous "So, the important thing here is: I have many of the same feelings about Smalltalk". https://www.youtube.com/watch?t=634&v=oKg1hTOQXoY&feature=yo...

And even message-passing is much broader: for example, with Higher Order Messaging, you can control how messages are delivered: to collections, on different threads, delayed, distributed (combine distributed + delayed and you get TeaTime/Croquet), conditionally only if the receiver understands the message, etc.

https://en.wikipedia.org/wiki/Higher_order_message

https://www.youtube.com/watch?v=GBtqQwcJoN0

And even that just scratches the surface. When you look at something like the Enterprise Integration Patterns, that's distributed asynchronous messaging, which opens up a whole other universe. Also: Erlang.

https://www.enterpriseintegrationpatterns.com

https://stackoverflow.com/questions/3431509/is-erlang-object...
Show HN: Dumbo – Hono inspired framework for PHP
Hey HN, I last PHP professionally over 15 years ago, and I loved it. I switched to Ruby on Rails, then Node/Go/React/GraphQL as there was a lot more demand for those roles. However, PHP is back!

In true JavaScript fashion, I decided to learn PHP again by building a framework to put all the pieces together in my brain.

I absolutely love Hono.dev, and decided to base the PHP framework on that. Dumbo isn't intended to compete with Laravel, Symphony or Slim, if anything, it's something people can use in production, but also contribute to and be used as a learning resource for others.
Truly bummed about this one.

I’d been learning CAD with Ondsel, and have printed off half-a-dozen of my models to help around the house.

If this comment finds its way to the team, I just want to say thanks.

The topo naming fix and the assembly workbench were enormous contributions to the community that will be with us always.

But I really believed in Ondsel’s vision for an online repo for 3d models.
How much value are the Voyager's providing us at the moment, in terms of scientific data?
That’s some sci-fi gold
LLMs autocomplete text. That's all.

Other intelligent effects are coincidental.
> That’s super expensive

COBRA costs you exactly how much you + your employer were paying for that insurance.

It's expensive because your employer's share of insurance was a significant part of your compensation (And because US healthcare costs are pants-on-head insane.) I'll point out that it's generally quite expensive to, like, stop getting paid.

Practically, post-ACA, health insurance in the US is about as tied to employment as having a roof over your head and food on your table is. If you don't have employment, or money, you're going to be in trouble - but that's the case with everything you need to live, not just healthcare.
> Short-term vs long-term focus means nothing.

Manufacturing, generally? Solar? Batteries? Semiconductors? Cyber espionage/warfare? I think those are more than nothing that China has had a demonstrable long term strategy in which benefits them at our expense.

Also, great point about financialization in the US. Do you think if that dam breaks, US auto makers come back to planet Earth instead of chasing what seems to be exclusively high-margin cars only affordable by credit?
So if people would have money, there would be a demand. His point still stands.
> I go home at 6pm everyday. go outside at 6pm and you will see businesspeople everywhere also on the commute home.

Just because you see something doesn't make it absolute truth. Try go home at 11PM and you will see plenty of salaryman in trains sleeping on each other.
They did capture ~2% of the Kursk region and lost much more in Donbass. They keep loosing everyday.
Nothing technical is preventing any federated platform to stop sharing the content with its peer. Only thing that prevents it is if there are multiple big peer and they can't afford a network partition, which is not the case with bluesky. Eventually VC's money will run dry and they don't have any solution for this.
Simple solution:
only allow weapons that existed during the creation of the Second Amendment.
Those are meaningless changes. It's less than the effect of walking up a small hill in terms of inspired oxygen partial pressure.