skysight-inc/HackerNews huggingface dataset:
Subtract 5614 from 28104. Divide the result by 65. Then multiply by 3.

GPT-4 is giving me a close answer, but not correct. 1035.6 instead of 1038.
Well I tried it twice so far. I'm in my 40s now, with a wife who's also trying to get a side business going in her spare time. It's not impossible but I haven't found anything worth making that risk for yet, and I'd still need to make almost what I'm making now for salary to even bother.

I did go ahead and interview at another early startup that reached out last job search and it was such a boring idea (a slight tweak on Blue Apron) and the CTO had such a massive ego (spent literally half the interview talking about all the things he expects from an engineer at the company and how many engineers he's passed on and how people think he's an asshole) I wasn't bothered when he passed on me too. Felt like I was in good company.

Maybe I'll give another one a chance next time I'm looking for a job.
Which is also good for hobbyists.

I like a stable toolbox for my hobby projects. They usually take far longer than expected and it’s quite annoying to find out that the only way to replace a broken part is with a new version that requires a new tool chain and produces lots of mysterious error messages.
As Keynes said, in the long run, we are all dead.
Are you genuinely trying to suggest that the people who did the migration don't know if it caused an outage or not?
Truly, a man that died penniless while spouting rather fanciful and discredited claims of superweapons (earthquake machines, intercontinental death rays, for two) is clearly the man to emulate.
Blood test spots Parkinson's risk before symptoms
I thought that sounded like a drum machine. It turns out, it's mostly, because it was.

Nice find, I never knew this for certain.
I contributed a few trivial proofs to this project, and I tried enlisting GPT-4, Copilot, Moogle, and Morph Prover to help out (I did not try LLMStep or ReProver).

Out of these:

- GPT-4 answered maybe one or two questions about syntax

- Copilot autocompleted maybe 0.5%

- Moogle was helpful much more often but still often pointed to the wrong theorem in the right file; in most of those cases I could have just done go-to-def to get to the right file and scroll through it

Note that these results are actually very good! And Terence Tao seems to have a positive opinion as well. But we're very far away from automatically proving conjectures IMO.

I will say that Lean has great metaprogramming facilities to accept any type of AI innovation that might emerge. Currently I find the most helpful tactics to be `aesop?`, which is a classical search tactic that tries a bunch of substitutions and simplifications; and `exact?`, when you know there's a trivial proof but not sure of the name. But the UX for AI can be as simple as, for example, typing the `gptf` or `llmstep` tactic, and that is fully hooked into the Lean state (goals, hypotheses, etc). So there's a lot of opportunity for incremental progress in improving existing workflows (which consist of dispatching trivial manipulations with search/simplification tactics)
I worked in Microsoft support for domains and security from the mid 90s through the launch of Windows 2000. I haven't worked for Microsoft in more than a decade and I don't speak for them; I'm just recollecting.

Many of you may be too young to remember, but TCP/IP did not really come to dominate corporate networking until the mid-late 90s. Before that, Novell had the IPX/SPX protocol suite and Microsoft had NetBEUI. These protocols solved name resolution via broadcast (although NetBEUI morphed into NetBIOS over TCP/IP [NBT] and gained a server-based name resolver, WINS, which people have the same complaints about).

For early adopters of Active Directory, one of the biggest problems they had was that TCP/IP was new to them, and as often happens in corporations, the people who had Windows AD expertise had no authority over their enterprise DNS, and the people who controlled enterprise DNS had no Windows expertise.

Support calls due to inability to locate a Windows resource in DNS were some of the most common, and were therefore one of the bigger identifiable costs of supporting Windows.

The Windows team had predicted all this (and also predicted that Windows 2000 would be the first introduction of TCP/IP into many smaller corporate networks and therefore they couldn't count on having DNS and DHCP already present), and they built AD-integrated DNS and DHCP and included it with Active Directory.

Microsoft didn't invent DNS or DHCP obviously, and of course at the protocol level both of them are insecure. But so was everything else on corporate LANs at the dawn of the internet and for years after. Having AD-integrated DNS and DHCP meant that literally you could boot a server with the Windows 2000 CD and install Windows and during the creation of Active Directory, you could select to have Windows install DNS and DHCP for you, giving you a turnkey TCP/IP network.

Windows DHCP could be configured to issue addresses and then take the broadcast name (remember NBT?) and populate DNS with it, making it easy for DNS name resolution to work and solving the other frequent support issue of not being able to resolve names via broadcast on segmented/routed networks.

Of course now all this looks hopelessly archaic, but all of the decisions were rational at the time they were made.

The problem now is that many Microsoft customers still use the really old features, they can't migrate off them for one reason or other, usually due to compatibility of some obscure app or other, or just due to costs.

Of course the "secure" solution to DNS is for an admin to manually create all the records, and use DHCP reservations. Most companies don't want to expend that effort, except for security sensitive machines. In AD, the really critical records (SRV records) have ACLs that protect them from abuse. So mostly client machines get the dynamic DHCP treatment.
what is neural alignment? who came up with it?
Here's the thing, though: Of a CS graduating class, 90% of them will work as software engineers, not as computer scientists. (All numbers made up, but I think they're about right.)

We don't need these things to be electives. We don't need them to be a master's program. We need an undergraduate software engineering program, and we need 90% of the people in CS to switch to that program instead.
I’m sure plenty of folks at Tesla have come to this realization. I’m also sure they are smart enough to keep it themselves.
> I suppose that depends on what you mean by "hard"

Compared to all other languages (except for assembly :)

> but it does mean you have to actually think about the design decisions you're making.

I don't believe that. How does thinking about passing the correct number of bytes to realloc() or memmove() help you think about design decisions? It rather takes away mental energy for no apparant gain.
> It provides some signal as to how “deeply” one (or a group) feels.

Because refusing diplomatic and business relationships, repeatedly condemning Israeli actions in the largest international forums they have access to, demonstrating in the streets of their countries, jeopardizing relationships with the richest countries in the world because of this topic, etc etc, are not sufficient signals...?

You can certainly criticize ambiguities in certain environments (e.g. Saudi rulers), but overall I don't think one can seriously challenge the depth of feeling on the matter when it's shared by literally billions of people. Maybe one doesn't get exposed to all that because most of these people are poor, living in poor countries that are largely ignored by the Western mainstream, but they are definitely there.
I assume an average high school graduate can solve a sudoku. LLMs are very interesting but anything “thinking”-related is not their strong suit.
> Criticizing Israeli settlements in the West Bank is not antisemitic. But suggesting that Israel has no right to exist as a Jewish state is antisemitic as it implies ethnic cleansing.

This is precisely an example of the conflation of "anti-Israel" with "anti-semitic." It is entirely possibly for a person to disagree with the geopolitical decisions and military actions that led to the formation of Israel, without harboring ill will against anyone for being Jewish.
> But suggesting that Israel has no right to exist as a Jewish state is antisemitic as it implies ethnic cleansing.

I've seen very few serious declarations that Israel has no right to exist. I have seen even fewer genuine existential threats to it in the past 2 or 3 decades, and that's not to discount how big of a deal or how sad an event Hamas's attack was.

But I have seen a lot of pro-Israel voices, e.g. at recent Congressional PR-stunt hearings, aggressively question anyone who doesn't bow in deference to their narrative whether they agree Israel has a right to exist. That whole line of tactic is a massive distraction from the question those voices don't want asked, either of themselves or anyone else, which is "do you think Israel has the right to do what it is currently doing to the Palestinians?"
This is getting into the internal politics of Israel, which are a mess. No party has anywhere near a majority. Netanyahu has had over 16 years in power, and he stays there by trying to hold together a coalition whose parties don't get along at all. How he's done that is not pretty.

(Imagine the US with Trump in his fifth term of office. Now you have roughly the right picture.)
The thing is that every service on Earth is marketing itself as "it’s only $10/mo, the price of three coffees!!1!".
It will never happen. Some open math problems are equivalent to the halting problem; and we know that finite computers can’t solve the halting problem.
I think what happens is that the shutdowns are announced more loudly than the launches, which results in people legitimately seeing more shutdowns than launches.
Is the model available or is this just an API/app?
What would you do if you were running the show in Israel? You’re responsible for a group of people that none of your neighbors want, even if they are the same race, ethnicity and religion, and those people have an ongoing campaign to push you out, which has been unsuccessful for as long as it has been going on. Oh yeah, their population is now many multiples higher than when all this started.
The Verge loves drama. These gotcha-style posts brings them a lot of traffic.

This doesn't need to be malicious. Google has demonstrated similar things elsewhere.

Someone wanted to do a cool video based on the stuff that are working on. The blog posts explain everything in detail if you want to look behind the curtains
Until/unless it gets fixed LMMS is awful for working with MIDI files, it puts all the events on one channel and there's no way around it other than maybe saving each track as a separate file and combining them with something else..
The failure mode of governments is to become “exploitative and corrupt,” Runciman notes. The failure mode of corporations, as extensions of an independent civil society, is that “their independence undoes social stability by allowing those making the money to make their own rules.” There is only a “narrow corridor”—a term Runciman borrows from the economists Daron Acemoglu and James A. Robinson—in which the artificial agents balance each other out, and citizens get to enjoy the sense of control that emerges from an atmosphere of freedom and security. The ideal scenario is, in other words, a kludgy equilibrium.

This is really interesting; to draw parallels between AI and the emergence of States and Corporations, which are two other inventions that we have lost control of. You could argue that Climate Change is an X-risk bought about by Corporations, which lumber around our civil landscape like single minded giants pursuing profit above all else and using regulatory capture to push externalities onto the populace.

I'm a big fan of The Corporation (2003), a documentary that explores how Corporations came to have legal rights, and asks, if Corporations are legal people, what sort of people are they? They exhibit reckless disregard for the safety of others, deceitfulness, the incapacity to experience guilt, and the failure to conform to social norms and respect the law, which matches the DSM-IV's symptoms of psychopathy.
> equally abohorrent

Comparing it to the Ukraine's invasion and we can see this is so much more "invasive". There's a literal wall around 2M ppl with little agency, while most of them are refugees from the other side of the wall.

To methis is one of the most abohorrent conflicts in earth in this day and age. Given South Africa is no longer segregated, and Rwanda reconciled.

I'd be interested to hear what's equally abhorrent in your view.
30 years ago, John Deere had that Network of service technicians and ready on demand parts. It was probably slightly smaller, then, and many of the farmers (both small independent and large corporate farmers) had more of a stock and more knowledge of how to repair their tools, but not fundamentally different. Harvest being crunch time was not brought about by the computer revolution. Harvest being crunch time was not brought about by just in time logistics. Both have allowed John Deere to do more with less by understanding where it's stock of inventory is better, rather than having to have a staff of quartermasters running those books. That efficiency is not because of their DRM, but the rising tide of computer logistics.

Having exclusive ability to repair their tractors does not make it easier for John Deere to stock that inventory. It makes it more profitable for them to stock that inventory, because they know they can sell it. That profit allows them to tighten their margins elsewhere, and to expand their belt elsewhere, but it does not fundamentally change the actual repair. It does make it easier in some ways that they can exploit supply and demand and economies of scale.

There are other ways that John Deere can enforce said Monopoly. They can sign contracts. Maintenance contracts are very common in this space, stating that you will only do business with John deere. That's not an unreasonable thing to do. I am a okay if every farmer wants to sign that contract with John Deere. If John Deere were to make that part of every purchase, at least it would be understood that it were part of every purchase, that you could not buy John Deere tractors without buying their service contracts, and how that interacts with existing antitrust law is a separate problem. One that has been discussed to death and will continue to be.
I never really got into the Etherium development world, (or crypto at all really) but I always found the smart contract environments so interesting. [0] Having "contract" and "address" be top level things seemed so interesting to me. They're not objects, you can't make your own "Contract", it's a language feature.

OpenSCAD [1] is another one. I actually wish it went a bit further, it very much feels like a macro language, with all of the tedium of flow control and such. It would be so interesting to see language to define 3D objects via constraints, instead of procedurally!

There's so many niches out there, you're 100% right. I'm way more excited about someone's new solutions about a specific problem, rather than solving all the problems with the same local-minima solutions we all know.

[0] https://en.wikipedia.org/wiki/Solidity
[1] https://en.wikibooks.org/wiki/OpenSCAD_User_Manual/The_OpenS...
I'm getting a 404 on this.
As others have said, ebay. One thing that helps is looking for "thin clients" - I know the Dell Wyse (not Lenovo obviously, but an example) can be "unlocked" to install normal Linux fairly easily. First page of results has options for under $30USD with free shipping (probably US only, but still).
This also presumes that any Muslim will be pro-Palestine and any Jewish person would be pro-Israel, a pretty strong statement given that entire communities within Israel are staunchly opposed to their ongoing actions against Hamas, which increasingly seem to be actually against Palestinian people, whom themselves also have a wide and diverse set of opinions about Hamas.

The war is shockingly unpopular on both sides of itself and seemingly the only people who are in favor of Israel's current plan of action is the Israeli government and the people who, for PR reasons, refuse to criticize Israel since Israel has done such an excellent job propagandizing people into thinking being anti-Israel in any way is synonymous with being anti-Semetic.
You put this way better than I ever could. It’s a sentiment I’ve felt has been true for a long time at HN and I’ve never been able to properly put it into words.

Dang has actively called me out on doing what I did today before - which is react to what amounts to racist and xenophobic posts that are allowed on HN.
There's a massive gap between taught at CMU and taught at most universities. And even if it is taught, it's usually outdated or focused on very literal stuff like how to write web applications. I'd have killed for a class that actually focuses on implementation, on teamwork, on building complicated systems.
All CD-Rs use a dye layer, yes. The life expectancy the link I provided is talking about is for writeable media, not for read-only media that is stamped.

Some forms of writeable disc media don't use dyes and can last for over 100 years. Check out the link.

But, to your point, one of the variables that affect longevity is the quality of the manufacturing. If you're buying the least expensive media you can find, then the lifespan is indeed shorter. For my cheapo CD-Rs, I've found that they last 5-10 years. You can also make them last longer by storing them in better conditions (vertically, not laying flat, in an airtight container in the freezer).

I tend to go with cheap media, so my personal habit is to burn new copies of my storage discs every 5 years.
Yes, they are plastic and designed to be driven over. Although, many of them are noticeably damaged already, so I can't imagine they're expected to be driven over so often?
Quality Software deserves your hard-earned cash
This seems like the type of thing you would want for VR.
Which would those be? Facebook and normal American media outlets?
Please keep in mind this was posted on the Eve of the Jewish Shabbath (in the US, and in the middle of the Shabbath in Israel), so the conversation here is missing a lot of voices.
> Pro-Palestinian views outrank Pro-Israeli online by around 36 to 1 on TikTok

Judging this by the method used (counts of uses of top 5 hashtags associated with the conflict) is ludicrously bad as a methodology, because, aside from not looking at sentiment, its prone to being radically wrong if one side is more consistent in hashtag use than the other.
> - Who gets to define testability?

I do (just kidding!)...Testability is the ability to add testing at a later point. There is no hard definition of this, but if you can't test at least 75% of your public facing functions then I'd say you don't have testability. Remember testability means you can have a tigher feedback loop which means that you don't have to test in production or in the physical world. This means you get where you want to go faster.

> - I want to add a coffee maker to my crash test dummy; is the lack of room for the filter and water tank a sign of a bad design? Or not flexible enough for my feature?

I know you are joking, but imagine for a second that your business did in fact invent a brand new way to test crashes and that coffee makers were the key to breaking into that market. If the dummy can't accommodate that then...yes! It is a bad design, even if it was previously a good design.

> - (cue meme) "You guys have organizational structure?"

Remember: there always is an organizational structure, with or without a formal hierarchy. You want to match your software to the real one.

> - Who gets to claim the impedence mismatch? What are those consequences? Wait, where are the dependencies defined again outside of the software?

There are no "the company blew up" consequences with this type of failure mode. Instead you get a lot of "knock on" effects: high turnover, developer frustration, long time to complete basic features and high bug re-introduction rates. This is because software is inherently a human endeavor: you need to match how it is written to how requirements and features are communicated.
Seiyaku
Yes, executing a calculation as part of a proof after separately proving that it is the "right" calculation to solve the problem is quite a common way of proceeding. Even common things like algebraic simplifications of all kinds (including solving equations, etc.) can be seen as instances of this, but this kind of thing has notably come up in the solution of famous problems like the 4-color problem, or the Kepler conjecture - both of which have been computer-verified.
Not sure why that's relevant, same could be said of the Irish in Ireland vs. United States. On the topic though, there's only a few hundred Jews left in the first Jewish jurisdiction: https://en.wikipedia.org/wiki/Jewish_Autonomous_Oblast
>Neuronally Derived Extracellular Vesicle α-Synuclein as a Serum Biomarker for Individuals at Risk of Developing Parkinson Disease

https://jamanetwork.com/journals/jamaneurology/fullarticle/2...
But it's not a fraud detection system. It's a "poor/disabled/divorced/etc" detector. Even if it is true that statistically more disabled people have recieved benefit overpayments, subjecting disabled people to more investigation is not OK.

and the training data is all overpayments, even if it is not fraud
I guess you're right. I think of type inference as "there is no pre-set type for a literal; the type is is inferred based on the context it's used in." But that isn't the definition of type inference. The definition is just that its type can be deduced at compile-time without explicit annotation. But that means that, as long as you don't have to do explicit casting for every expression (e.g. "(5i32 + 6i32) as i32"), all expressions are type-inferred no matter what programming language you're in.

Like, in Rust, the type of a literal depends on the context of the variable it's later used as.

// Due to usage below first line,
// 5 is retroactively reanalyzed as if it were 5u8
let a = 5;
let b: u8 = a + 1;

Whereas in C, literals always have a set type, and the only reason you can use, e.g., int literals in non-integer expressions is due to the great amount of implicit type conversions in C.

C++, which has a form of type inference, works differently: the type of a variable is always the same as the type of expression initializing it. The closest equivalent in C++:

// "a" is inferred to be an "int" because 5 is always of type "int"
auto a = 5;
uint8_t b = a + 1; // Implicit truncation from "int" to "uint8_t"

There true equivalent of an integer literal 5 from C (on 64-bit Linux) in Rust would be 5i32, because it's always the same sign, type, and size in every expression. There's never any doubt about the type of an expression or a literal, and hence no need for some type inference algorithm, only implicit conversions. Hence, the equivalent in Rust of the above C++ is this (depending on the platform):

let a = 5i32;
let b: u8 = (a + 1i32) as u8;
Yep: Free, good features, runs locally (I appreciate that this can be a disadvantage, but it means that there's no servers to get shut down) and it's open source (so even if upstream does die, you can fork).
This makes so much sense! Thanks
> This is why the ownership model of software is so much better than some SASS offering. Modern SASS solutions are just about incrementally extorting more revenue from customers after locking them into a platform, as they’re driven to chase new “features”… And this is an IDE of all things…

JetBrain’s pricing is both SaaS and ownership: you can continue to pay to get upgrades, or you can stop after the first year and keep the IDE as-is.
Trolling? No. NAT breaks something? No. IPv6 breaks privacy at a minimum and probably opens our devices to security issues. IPv6 is what's broken.