skysight-inc/HackerNews huggingface dataset:
I'm curious if experienced users can comment on CGAL's numerics approach (https://www.cgal.org/exact.html) where CGAL states that they track error bounds explicitly and fall back to high-precision exact arithmetic.

In numerical linear algebra, problems have an intrinsic condition number, and most algorithms admit backward or forward stability in terms of that condition number, implying a kind of Lipschitz continuity in computation: you can't be too far off from the true exact solution, and if your input was rounded, then it's still close enough to the exact solution.

The documentation seems to imply that CG problems don't have this kind of regularity ("no such arsenal"), hence the need for fallback to exact.

But if this regularity doesn't exist in CG (i.e., you can create natural geometric constructs for which low-bit perturbations result in large-scale changes in the output), then why would exact numerics even save us here? Wouldn't it be possible to construct examples where we could make the amount of precision required super-polynomial in the input bitwidth? Or are there different regularity theorems which limit the complexity of the output (but still require, say, polynomially-increased precision).
Effectiveness of Bivalent mRNA Vaccines in Preventing Symptomatic Covid-11/22/22
Wow yeah, it puts into much better words than what I've been trying to get software engineers to do for a decade or more. Really awesome resource, thanks again kind parent :)
Saab as well, but that could be a point either way since they went eventually defunct as a car manufacturer
So does almost every PR-based workflow tool for (bitbucket, GitHub etc). It's very common.
The idiot (Sam) took billions of peoples hard saved assets and let a 27 year old twit day trade gamble it down the tube.

IMHO, 100% of all the assets are "Stolen or Missing". Sam stole them. That's where they went. He did it. That was the guy. He's right there. Just look at him. Where are the assets? Sam stole them. And then spent them and snorted them and then spent some more. And yeah, he probably didn't secure them very well either, so once crypto hackers knew he was a thief they just dove right in and helped themselves.

I suspect this will be an unpopular opinion - but I respect Bernie Madoff more than Sam Bankman Fried. Bernie knew he was a fraud. When he was busted, the only question he had was what took them so long. There is an honesty of guilt there. This guy just thinks "he made mistakes". Bullshit. You don't transfer custodial assets to a losing gambling routine and "it's just a mistake". That's like Achmed calling it "just a flesh wound".

I hope Sam gets life in prison or worse.
> That people will just init nonsense objects to get around the warnings.

You technically can do "= null!", which means assign null by default, but assume it is not null. This is currently the recommended way to do deserialization, where you know the value is not null, but you have not explicitly filled it.
Diátaxis – A systematic framework for technical documentation authoring
But what in the philosophy of EA really disallows it? In a utilitarian model, if I can do a lot of good by doing some bad (eg, steal from crypto investors and give the money to AI safety research), what did I do wrong? I appreciate that this can discredit EA and hurt their efforts, but this is a short-termist concern; in the long run, the AI research might end up being more important than the transient reputational damage. Furthermore, what if there's only a 5% chance of being caught doing something immoral? Then, in expectation, the positive impact is even higher.

It's all very well to pay lip service to 'common sense morality' but it doesn't seem to fit into the actual theology of EA, and this is what fanatics are most likely to follow.
My job is sweet.

The management really doesn't go in for meetings, especially not all-hands, nor 1:1s for us at the lowest level. We have onboardings and special messages and all those are recorded in case someone misses, it's no big deal.

Documentation: we have a master SOP document that's about a dozen pages, you can read it in an hour and understand it. There's a living spreadsheet that's updated so you have to check it on the regular. I've also helped build an aid for one particular investigative side, but it's optional. There's other documentation but it's all ancillary and optional, the biggest thing to know is SOP.

There's an #important-links channel on Slack and I do try to look through it on the regular, but all you really need to know is a small field.

We're all 100% remote, WFH team. We stretch from San Francisco, to NYC, to South Africa and coworkers in Australia too.

We're starting to branch out in non-English languages, so I'm sharpening my Spanish for the road ahead.
Or even just setting the default to non-nullable with any static analysis checker.
> If only SBF had confessed on Twitter about stealing customer deposits…

The reason it was fast with Madoff wasn’t the confession, per se, it was that it came with the telegraphed (and actual) intent to surrender to the authorities.

Though I suspect SBF’s inability to control his public statements is an indicator that it is likely to be quicker to line up things against him than it was against Lay, its not going to be as easy as with someone who was burned out and done fighting like Madoff.
This idea was also documented by Mindey on Infinity Family.

It was called network of functions.

https://o2oo.li/method/222/#1629594291
You just need a program that registers the `'; DROP TABLE 'users` font and voilá.
Tesseract get's significanlty better results after resize; can probably get away with a 2x resize on a 4k monitor, but 4x is good for e.g. 1200p
Effective altruism sounds like choosing between destroying the enviroment and destroying the enviroment with some greenwashing on top. In my mind, the movement amounts to PR to make excessive riches and excessive political influence palatable.
I agree with you. The root cause is the complete erosion of civil society in Russia, the failure of the state to create and maintain a democracy and the failure of the West to turn Russia into a North Korea early on, when everyone figured out that the gangsters are actually running the country.
I was recently introduced to www.Loom.com which is this fremium screen recording app and website (no affiliation). Being able to have a certain type of meeting asynchronously has been a boon to productivity. The async nature of texting is great and adding the same thing for audio and video/screen recording has been similarly great.
Indiana Jones 5 uses VFX technology to de-age Harrison Ford
Meta/Google wouldn't exist without their customers paying them money. I don't think you can lay the blame entirely on one entity here. The core problem is that companies who use the tools created by Meta/Google do benefit materially from user targeting, and when there is an inter-dependency it creates a strong incentive to keep things going.
https://twitter.com/anothercohen/status/1584636815281033216?... is a better example. It's not real, since this is a very poorly executed marketing exercise where they contracted an influencer-type, but it and videos like it are still driving the recent influx of "adult day care." Despite not being real, it's real-adjacent enough to not come across as satire. I have certainly witnessed plenty of people spend their days like this in tech companies.

Also note that I never personally said Google is adult day care, I was simply pointing to a culprit in the trend.
> If we take the NYT as a bellwether for what the “elite” and well-connected want known

We should not, nor should we even take the relation between NYT and elite opinion as relatively consistent over time.
Certainly, there needs to be an entry for Visual Studio
Woodworking through the mind of an engineer
That's literally the definition, it's in the name. If it can be used to personally identify you in any way, it's PII. Yes, IP addresses are PII and there's nothing that prevents you from storing PII for reasonable amounts of time (i.e., to process a packet, a purchase, or fulfill a contract). Where you get into trouble with various laws is when you store them for other purposes (such as in logs) and use them in ways they weren't intended (such as analytics) -- especially if you don't tell the person you're using it in that way. That last part is usually the basics of what is required. Not disclosing it is a sure way to find yourself in hot water, eventually. Most regulators don't seem to care atm, or are targeting big companies. I'm not a lawyer, but I've worked on software in this field, so take what I say with a grain of salt.
Thanks for the excellent example diagram in the readme. It actually seems like the best way to understand the cheating scandal.
eg: https://www.salon.com/2022/11/20/what-the-sam-bankman-fried-...
Once you have capital, you can choose how to put that capital to work. By capital, I mean your savings. As it's your hard-earned capital, invest in something safe. What I was taught in an entrepreneurship class at GSIA was to invest in a franchise of a growing brand that you think you would enjoy being a part of. Another common path is rental real estate. Both ideas are "start-ups" broadly defined.
Iceland's Secret: The Untold Story of the Biggest Con
Jetbrains Rider for C#, PyCharm for Python, VSCode for front end, all with Vim keybindings and I use Vim for everything else
I think there's a difference here between getting acclimated to scala (for new code, presumably), which is reasonably easy, and getting acclimated to a scala codebase that was already written by someone else.

You can do the first one basically the same way you'd do kotlin, the second one can get pretty hairy if someone decided to bring in a bunch of macro heavy DSLs and syntax extensions.
The M1 Air is almost three pounds, not that a lightweight laptop.
If FAANGs started putting more weight on technical-writing skills in their hiring, we would get Leetwriting and technical-writing bootcamps. Meaning, it’s just an education issue to some extent, and there’s currently too little motivation to train writing as a skill.
I work with academic teams all the time. I think it is unfair to say they work less. Some academics work many more hours than the software engineers I manage.

What they do have is different priorities. Your company is product focused while the academic might have courses to teach, grade, and prep. They have students to advise, researchers teams to manage, papers to write guest lectures to present, tenure cases to review, 3rd party research to vet, service commitments to their institutions...

The list goes on and on. Most productive academics are essentially CEOs of their own mini startups.

So, with any team member or external partner, you need to set clear expectations and timelines. Otherwise your ask will fall someplace on their timeline that likely "six weeks from now after the term ends and grading is done"
I think we're talking about two different things. Imagine you have a generic program A that you've formally verified. Now you ask me to execute it for you. I say: "ok, the output of the program is X." Can you trust the output? No, you cannot trust the output even though you've formally verified the program. If you formally verify the smart contract, you can trust the output.
There are all sorts of paths. Knowing nothing about you I would council holding your powder. Put time into the kids and partner and keep the side hustles to hobbies/participating as a chicken (see Chicken vs Pig fable) at most in the community. Much much more important on any timescale for both your and their happiness and health to keep attention focused on them.

It can be very frustrating/challenging to the part of you that wants to do the startup to do this, of course- that frustration in itself is valuable experience. The reason so many have successful startups in their 40s and 50s is not because they tried and failed at startups in their 30s. They didn't, and instead found ways to improve their impulse regulation, decision making, relationship management- and their financial standing. Speaking very much from personal experience, so much about new ventures becomes easier when equipped with strengths in these areas.

Manage the dopamine. Don't let it manage you.

Best wishes.
This reminds of all the horror stories around sports and steroids and what not "giving" young people heart attacks.

Short of taking extremely high stimulant doses during hell week two-a-days, there is very little you can do to give yourself a heart attack at a very young age. Smoking for 5 years and being somewhat sleep-deprived is not going to do that by 32, especially not if you've been working out every morning since college. You'll eventually suffer an increased risk of chronic diseases that can kill you, but not until many decades in the future.

Assuming this really happened, the guy had a congenital heart defect.
I'm not sure I understand. But I think my answer is, "yes, I would!"

By that point, hopefully I have enough self knowledge to understand what motivates me and what my true competitive advantages are. I also hopefully have a strong network I can leverage to help me with any blind spots I may still carry. And to spend 5-10 years working on something that I truly am passionate about, which I've worked hard to have the resources to do without encumbering others, sounds rather nice!
Deterministic Linux for controlled testing and software bug-finding
This has been the culmination of several years of work intercepting and sanitizing the Linux system call API. It's now open source.
Yes, it's OK to have null in the language in limited cases. I'm fine with null so long as the language enforces checking for null when it could cause a NullPointerException (or that language's equivalent).

Java's biggest failure in null handling was allowing EVERY reference type to be null without a way of specifying that it could be non-null. This basically ensured that null could creep in almost anywhere.

Allowing a type to be null should always be opt-in. It still bothers me that I have to put NOT NULL in almost every SQL column definition because the SQL spec has columns default to being nullable. Ugh. At least SQL does allow me to choose nullable vs non-nullable, unlike Java.
Web3 is irrelevant. Actual Web 3.0 isn't anything blockchain based. Web 3.0 is the total corporate take-over of the entire web by Google/MS/Apple requiring CA based TLS in the HTTP/3 (QUIC) implementations in their browsers.
98% of SpaceX contracts are govt. That business has no viability without taxpayer money.

Tesla, to this day but especially early, had the govt subsidize their products to help make them more competitive.

I don’t think those are even a bad thing, but it isn’t a supportive argument that he’s a great free market capitalist.
A system I work on chose to use [closed, closed] intervals for date time intervals, where multiple intervals should be adjacent, but not overlapping. So the intervals look like 2022-11-22T00:00:00.000Z - 2022-11-22T23:59:59.999Z. Of course the codebase is sprinkled with +/- 1ms, and off-by-one issues causing date times to match _no_ interval. [closed, open) would've been so much easier to work with and reason about.
> But what in the philosophy of EA really disallows it

Because most people who are willing to donate x% of their salary to charity tends to be decent people? Apart from that, there's tons of fundermental EA posts and writings that talk about how EA cannot be an 'ends justify the means' philosophy to donating. Sadly this SBF shit has really corrupted the core message which is to be skeptical of charities and view them like investments, picking the best one for QALY per $, and valuing all lives equally. I don't even like the futurist side of EA because I personally can't put the value of a hypothetical person above someone who's sick today and focus on global health & animal welfare. Honestly the core point of EA is imo very hard to discredit aside from longtermism.
> They couldn't have fixed it while retaining backward compatibility.

Opt-ins exist. That's what .net ended up doing: by default the language uses "ubiquitous" nullability, but you can enable reference nullability support at the project or file level.

If you do that, references become non-nullable, and have to be explicitly marked as nullable when applicable.
You would be stupid if you quit in order to start something with a 90% failure rate. Don't be stupid.

Instead, figure out what business idea you can accomplish that would have a 10% failure rate -- a 90% chance of success.

While you're doing that, accumulate capital, so that you have at two years of complete living expenses in the bank.

When you have both of those things, you can discuss taking a year to do a startup, with a one year ramp. At the end of the year, you evaluate:

- is this close enough to success that you should definitely continue?

- is this almost ready, and you are no more than 3 months away from a go/no-go?

- is it time to end it, take a couple of months off to be with your family, and then have 10 months to look for a new job?
People are not forced to treat EA as an all-or-nothing package. If some of their claims are more convincing than others, and acceptance of only the more-convincing claims leads to SBF-like behavior with much-higher-than-background probability, it is important to strengthen some arguments, and/or withdraw community support for ideas that are currently too unsafe in practice.
SIAG = Scheme In a Grid, love it
If SpaceX hadn't appeared then the ISS would be in an interesting spot still relying on Russian rockets.
Enzian: An open, general, CPU/FPGA platform for systems software research
The one and only billionaire who gets to die with a clean conscience is Chuck Feely. Dude was a billionaire. Gave it all away. Now he’s an ordinary $2 millionaire. All other billionaires should be ashamed.
Apart from creepyness, it is absolutely amazing that the bank does that. I'm very impressed that a bank has such creative hacker minds to build a warning system like that.
It might not be, but is damn close to it.
> There's tons of fundermental EA posts and writings that talk about how EA cannot be an 'ends justify the means' philosophy to donating.

This is at odds with its core adoption of utilitarianism, which is the movement's fundamental justification. Utilitarianism is sort of textbook "sounds nice on paper, works crappy in practice" outcome.
That's an interesting point, though – that compared to Chess or Go, playing against other versions of itself is less helpful for improving against humans, due to the requirement of communication with the other players.
I don't think this is what OP was talking about but fonts are Turing-complete and can introduce all manner of exploits.[0] However, getting the font installed seems like the hard bit - I don't see how loading it or detecting it in a website makes anything new possible.

[0] https://www.trendmicro.com/vinfo/us/security/news/vulnerabil...
i just want to be able to use udp without the headache of webrtc
For some people, spending 5-10 years on their dreams in their 50s is totally worth it.
Yep. Set up Charles Proxy (GUI) or mitmproxy (CLI) if you want to take a look at the actual data. It's huge and non-stop. Some of this even Little Snitch can't stop because it's sent to random IPs inside huge blocks belonging to Apple with no DNS. Unless you go to extraordinary lengths it's the same with Firefox FYI.

These companies' privacy concerns are a marketing gimmick, and the situation is so out of control we have to be thankful even for those crumbs.
Yes. You're not just cleaning your own conscience but also your image in the minds of other people.

It's basically a license to be a charming scoundrel. Everything good you do can be balanced by some vice of yours, and that's how we get powerful people abusing their employees and other relations.

The MO is not new, you might have heard of the Sacklers donating to art. Should it buy them any sympathy for what they've done? Doubt it.

If you want to do good things, do good things. As soon as you do a good thing and get publicity for it, I'm going to think you're buying publicity. I think there's an episode of Curb Your Enthusiasm about this.
What if the alternative might be someone says “no, this is a bridge too far for me” and just doesn’t do something?
Please share some, if you don't mind. Happy to read more and learn more. :)
Maybe it works if folks make a clear eyed appraisal of what the salient issues are. But once the biggest issues facing humanity were identified as AI or the sun exploding and not climate change and wealth inequality, it was game over
Sure, people do that. But people who only do that are sociopaths.
Do you have any tips on how to maintain a developer's own knowledge base in Obsidian? I also use Obsidian but I currently use as more of a dumping ground.
March 2009 was not a "natural bottom", it was more of a bailout bottom - we now know it happened because of a change in the mark to market rules on bad assets that made possibility of more bankruptcies much less likely and stemmed contagion. Similarly in 2018 (FED pivot) and 2020 (QE infinity).

You'd have to go back to 2002 possibly to find a more "natural", exhaustive bottom where sellers got tired.
If I am doing wrong in order to perform good deeds I am setting myself up for a lifetime as a failure. This is like the mafia leader that gives to the church. Good deeds can never pay back the evil anyone has ever committed. The solution is only found in the blood of Christ.
Exactly… NFT’s blah blah .. blockchain everything .. came off as like a sales pitch and never seemed to resonant as where the web was headed
The are not any Windows laptops with comparable perf/battery life either.
*Chuck Feeney
First, what are the possible charges an AUSA can file against SBF? Which of these charges can stick? What kind of evidence is there for these charges to stick.
It’s certainly possible but you don’t have a lot of help in doing so.

OWL from the RDF world has quite a few reason it hasn’t gotten traction but one is that it doesn’t have answers for many problems of ‘agentic’ reasoning which would be useful to agents that are doing things in the world.

There are problems with the management of a database in practice. A document database lets you update a document at a time, a relational database a row at a time. If you are adding edges and nodes to a graph there needs to be a transaction facility so that you never see inconsistent states. Deleting a ‘record’ is not just a matter of deleting a ‘node’ or an ‘edge’ but may involve deleting some set of nodes and edges which graph databases don’t have in their model.

In the case of OWL I think you need a transaction mechanism to make the data and ontology checking abilities of the standard useful. In a normal OWL database you put junk in and now you have an invalid database, error messages that don’t make any sense, and no systematic answer to fix it. Really in that case it should revert the transaction or maybe let you work in an invalid branch but never be able to commit an invalid branch. So far as I know most OWL products today have no real answer for this problem but it seems to me they could.

Generally in common sense reasoning there are many issues like ‘what was the state of the world on Nov 4: 1975?’ Or ‘what does John believe about X?’ or ‘it is necessarily true that…’ or ‘what would happen if?’ that go beyond first order logic.

Many knowledge graphs build structures that let you query who was president at a particular time because there are records that say ‘X was president between date A and date B’ but this only works when it is spelled out explicitly, you can’t ask questions about the world as a whole at a certain time.

Some of these problems could be solved by the use of persistent data structures, that is, fork the world when you put in facts so you can’t break the world, fork it to do a simulation, etc.