skysight-inc/HackerNews huggingface dataset:
I think we are going back into a real estate bubble not very different than what preceded the 2008 financial crisis. I even see "high return" real estate funds that proudly advertise they're heavily into CDOs. For fuck's sake. Really, guys?

Do we now have a whole new generation of young finance bros creating debt instruments that were literally children in 2006-2009 and haven't learned the lessons from the very recent past?

Look at the absurd rise in single family home prices for a modest, detached home on a small lot in major cities. Look at the price of what would be the same location/street address of a $450,000 house in Seattle in 2014 vs now. It's absolutely a bubble.
Same. Not sure if should get my finances in order or am an Eternal.
Having learned a number of Lisp systems in the past, I wouldn't necessarily recommend ANSI Common Lisp as a first choice for a Lisp unless your needs are very particular, because it is an enormous design-by-committee language having a draft standard of about 1360 pages:

https://lisp.com.br/archive/ansi_cl_standard_draft_nice.pdf

This means that in addition to the time spent doing the programming that solves your technical problem, you also have to devote considerable time to language lawyering, investigating if the interpretation of a Lisp expression your Common Lisp produces is or is not standard conforming, using only the frequently ambiguous English of that enormous standard as your guide.

The Java JVM was carefully designed to give identical results on all hosts for the Java platform unless you go out of your way to get nondeterminism or platform specific behavior (make the value of the number N depend on thread scheduling, or use JNI that assumes a platform byte order, etc.). C/C++/Rust allow undefined behavior if you shift a 64-bit int more than 64 bits, but Java on the JVM for example masks the lower 6 bits of a 64-bit shift ('& 0x3f') so that you get the same result on all CPUs rather than a CPU-dependent result:

https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.19

The nice thing about this is that the JVM makes a "try it and see" approach more viable: if your program has a bug at least it has the same bug everywhere. You won't suddenly get a crash 10 years in the future when your customers upgrade to a new CPU, because your Java bytecodes on their new CPU will faithfully maintain bug-for-bug compatibility.

Clojure is a Lisp that runs on the JVM. I haven't personally used Clojure, but having done quite a bit of Common Lisp, Emacs Lisp, Scheme, etc., it looks to be very well designed and very well loved by its users, and using it could spare you from having to language lawyer the ANSI Common Lisp standard, as it seems to be more "try it and see" friendly.

I've been learning a lot about formal verification for C programs, how to truly make code that is bug free, and to do this you need to first make certain decisions about how you are going to formalize the language standard. E.g. will you assume that CHAR_BIT==8 or will you allow CHAR_BIT>=8 because the official ANSI/ISO C standard allows this even though all modern computers have CHAR_BIT==8? Then for any program you input to your verifier you must judge whether all its behavior is well-defined or if there is undefined behavior (arithmetic overflow, etc.).

There are quite good formal verification tools for Java, also, like JBMC and Krakatoa, and smaller Lisp languages are traditionally among the least tedious to formally verify (very simple semantics, unlike Common Lisp), but the time investment to learn these tools is enormous.
Systemd, 10 years later (2020)
It looks great in a lot of respects, but I can't help but notice the aliasing. In the example scene at the top, when in motion, it probably looks like there's a snow storm going on in the foliage and on most of the wall/floor textures.

To me good anti-aliasing strategies is the single most important factor when it comes to graphics. I don't really care about things looking realistic or whatever, but I do care about my screen not being full of moving, weird, and distracting grainy patterns.

This involves more than just softening the edges around polygons. There's also textures that contain shapes and the borders in textures with transparency to think about (usually foliage).

My go-to solution in games with lackluster anti-alias is to just render them at a super-high resolution (4k/8k) and downscale, but that's not great for performance usually. You can compensate a bit because you won't need as much anisotropic filtering and such if you downscale, but even on expensive hardware that's not a solution in all games.

To get to the point: In some older games I've seen blurring (possibly due to hardware limitations) of further-away detailed textures reducing aliasing. I'd love to see that technique revived in more modern games, possible with the help of AI to detect patterns/edges on textures that may be susceptible to aliasing, and selectively running those through a filter - basically shifting the work from the artists having to design textures that don't create artifacts to something automatic.

In general good AA tends to be a second-class citizen in many modern game engines, partly because of how their renderer is configured by default (looking at you, Unreal). I really wish it wasn't so.
Isn't the authentication your private key? The nft would be authorization, which sounds a lot like digital rights management to me. The power is still with the record company to decide whether a sold copy is still valid
What does 'active' mean in this context?
>What do you like to accomplish?

The What's Next For Bevy? heading in the release announcement covers this:

https://bevyengine.org/news/bevy-0-6/#what-s-next-for-bevy
The input examples and the GLTF loading example are good places to start.

https://github.com/bevyengine/bevy/tree/main/examples/input
https://github.com/bevyengine/bevy/blob/main/examples/3d/loa...
Defender is adequate anyways.
That project looks like it uses SSL/TLS so if your certificate is self signed you'll need to add an exception [1]

Thunderbird doesn't prompt for this while connecting like a web browser does. It fails to connect without a clear warning in this case.

Full shameful disclosure: Since my backup is only locally accessible on a trusted network I used insecure IMAP on port 143

[1]: https://serverfault.com/questions/532172/thunderbird-not-tru...
>344 single points of failure

How can a system have more that one single point of failure?
Reverse Engineering the Stream Deck – Den Delimarsky
Three answers already, one yes, one no and one maybe. So we don't know.
I'd rather argue that poverty only exists in societies developed enough to exhibit stark contrasts between individuals' estates. There was what we would perceive as poverty in e.g. the Roman Empire or Middle-Age Europe.
The Pirate Bay Token
There's a difference between sharing a location (good) and sharing your location (perhaps not so good).
Where do you get gas power for less than 3 cents per kilowatt, fully loaded?
the control is exclusive. the owner can always put up a fence, or tell people to get off their lawn
Thing is, current flashcard software (including Anki) does not support complex "study and understand" workflows very well, but a lot could be done to improve it. Even something as trivial as supporting explicit dependencies among cards, i.e. "don't bother to show card X unless you have managed to push out repetitions of cards Y and Z beyond $time_interval" would help a lot.

This would also enable flashcard/SRS workflows to interoperate seamlessly with other memorization techniques, like memory palaces or mind maps. Foreign language vocabulary is the rare example of a domain that doesn't need these things, so flashcards are perceived as "good enough" for it.
Does Web3 mean a “Dumb Pipe” future for the cloud?
I tend not to use debuggers very much myself so not speaking on a ton of expertise, but I think it's probably safe to say the Fortran ones are going to be a lot better on that front. There are a few options for debuggers so far, but no parallel ones that I know of yet.
Wait - hold up.

You just wrote this company is defrauding investors and the government, and you are an insider who knows about it.

The fact it made you feel ill isn’t enough. Do society a favor and name the company. Maybe pen a paper anonymously. Is there a concern that when this information does come out, it will come back to you as one of the pre IPO leaders?
Confluence sucks! But it does have one of the best editing experiences I've seen (it also sucks, but less than the rest). You can privately draft pages before publishing them, get diffs of versions, it auto-saves and you even get real time collaboration with others. That's worth a lot, imo.
I can tell you that posting a story is clearly outside this domain, but as for the exact set of features, that's a harder question.

I like the idea of MMS tho, so I'd personally like messages to be like short and quick e-mail. Packaged up media is nice to be able to send as opposed to just links, since they are more direct. Though links are good too, esspecially when files are large and might be shared with multiple people.

Building a streamlined interface still remains an unsolved problem it seems, which is why it pains me to see yet another chat app fail to prioritize features effectively.
"have a problem with the way they're being treated" includes satire of the prophet?
Yes, and the last part is why I'm more interested in passing an inheritance to my kids than I am with doing anything with the money myself. The money my parents left me largely paid for my kids' college education. I haven't really spent it on anything else; I have everything I really need, and feel like "paying forward" is the best thing I can do with it.
My bad, I meant rolling out their alternate protocol.

If I use an iPhone with other iPhone users, the default messaging app simply just works. Why not replicate the same experience for Android users? Competing by creating their ecosystem where the green bubbles are the premium experience and the blue ones (for iPhone users) is the fallback to legacy SMS?
Note that since IMAP doesn't support second factors, you really want to have a separate, high entropy password for IMAP. This appears to be possible for gmail: https://confluence.atlassian.com/cloudkb/configure-gmail-ima...
If you're in a car being held above the ground by a chain, every single link is a potential single-point of failure.
Land mines are used by people in civilian clothes as well, but those are usually called IEDs.
Intel already plateaued: https://images.anandtech.com/doci/16226/perf-trajectory.png
I think everyone's experiences are different.

I have a friend who left his toxic wife. Immediately after that he quit smoking cold turkey without even trying. He said that with his ex-wife out of his life he just didn't feel like he needed to smoke anymore.

Myself - I don't find caffeine addictive in any way.
There is a similar chrome extension you can setup to show up every time you open a new tab: https://chrome.google.com/webstore/detail/mortality-death-cl...

Friendly reminder not to waste some time, but work on important things instead...
I recently heard a practicing cardiologist say that he felt it was unethical to encourage any medical procedure. Instead it was up to him to give the patient the best information he could, and then let them decide without any cheer leading. My last doctor treated me that way, and I appreciate it.
Word on corners of the interwebz has it that this is gonna prove the existence of aliens (or at least gov. are gonna frame JW as the indicator of alien life)
This isn't solving the problem at all, in my view. It's translating human speech into programmed code; it's sympy that actually solves the problem. As you said, this can be very useful, but knowing how to type the problem into wolfram alpha is not university level math. Problems that can be entered into sympy can be considered "solved", what's remaining (and what they have done) is UX.

Also, this problem arguably is a problem of computation, not math. Math is about finding proofs, which is a much harder class of problems (NP-complete at best, undecidable at worst).
You are definitely right; there are numerous classic applications (i.e. outside of the cutting-edge CV/NLP stuff) that could greatly benefit from such a measure.

The question is: Why don’t people use these models?
While Bayesian Neural Networks might be tricky to deploy & debug for some people, Gaussian Processes etc. are readily available in sklearn and other implementations.

My theory: most people do not learn these methods in their „Introduction to Machine Learning“ classes. Or is it lacking scalability in practice?
Advent of Code is different, unless one of the requirements is you make your solution as obfuscated and esoteric as possible, which is rarely in a code challenge (the IOCCC being an exception). In Advent of Code, you're still trying to solve problems efficiently.
Depending on caching strategy, using random UUIDs also decreases the maximum working set size before you become I/O bound by a huge factor. Postgres e.g. relies heavily on the O/S block cache and is subject to this.
Why are critics so focused on timing though? Does it really matter whether the Eth2 merge happens in 6 months or 12 months, as long as steady progress is being made?

Granted, early timelines from Vitalik and others were way off base initially. The planning fallacy is a thing, and we shouldn't expect a 21 year old to accurately predict the timing of a very complex network migration. Hanlon's razor suggests that bad estimates are usually just bad estimates, not some kind of scam.
Is antivirus software really still necessary on windows for technical users? Do you really need it if you're not downloading questionable torrents or visiting shady websites?
The sequential deployment process had many possible individual points of failure along the way - if any step went wrong then the full deployment failed.
> satellites watching earth only a wavelength

You a word there, friend.
You still have to know that 0 is 0 and not O, and that 1 is 1 and not I or l.
One of Signal's main purposes is to be used by Snowden types (whistleblowers, dissidents, journalists, etc.) – or, at least, it used to be. Messages Are Private is the most important principle for Signal, even if it means messages are lost.

Accounts not tied to phones, I don't really have an explanation for. It was in the works two years ago, but I haven't heard anything since.
How to get to the 99.98% figure:

9+7=16 hours of downtime since the network started to operate (Jan 3rd, 2009).

4,753 days since then, or 114,072 hours.

Uptime: (114,056 / 114,072 * 100) = 99.98% since inception.
I believe lasers are used to check how various parts of the car align. Certain things out of alignment indicate a bent frame.
In the case of plagiarism, require proof, make the reporter do the work. Ask them for the url for the alleged original source.
And "tokens" are literally "any string of non whitespace characters."

One of it's biggest downfalls imo is that the toeknizer is too simple. I'm making GitHub.com/civboot/fngi as a "better than forth".
>In grade school I nearly failed a semester because I read books all day. It was obsessive. I didn't do my school work but knew all kinds of random facts.

This is a very familiar story.

Even today it's still an issue. I have missed the gym, or been late to a social obligation hundreds of times due to getting stuck reading something.

While the behavior does have negative impacts, I generally view it as a positive thing.

I know a little about a lot, and I can generally have an engaging conversation with anyone, about the things they want to talk about.

I think knowing a little about a lot also helps me in the periphery of the things I do go deep into.

For example, I've read hundreds of articles on Hacker News about cyber security and have read countless comments by cynical devs explaining that companies don't take security seriously because it doesn't create revenue. Today as a non-technical founder, the security posture of my organization is 10x better than my peers (including technical founders) at similar sized (and even bigger!) orgs.

You spoke specifically about the negative impacts - do you see any positive impacts?
If you look over the last 10 year, renewables have reduced the CO2 emissions considerably in Germany, reaching 50% in 2020. However, while 2020 was a record year with a huge increase vs. 2019, 2021 was back on the 2019 level, as the weather was very average.
Apple Books also syncs position in your own epubs, unlike my new Kobo Sage which’ll only sync reading position in books you’ve bought from Kobo. I still love my Kobo Sage and feel like managing my library with Calibre is better than Apple Books. But the iCloud syncing experience with Apple Books is clearly superior. People give Apple a lot of shit for their built in apps not being great (which is a good argument against them having a monopoly on iOS) but at least they nailed Books syncing.
I find the "wisdom of crowds" vs. groupthink thing really interesting. Wisdom of crowds is definitely a thing but under fairly narrow conditions that I've never seen rigorously defined although I think people have some sense for it.

When it works it tends to work really well (e.g. http://bitmason.blogspot.com/2012/04/crowdsourcing-predictio...) but it's not very generalizable.

ADDED: To your example, I'm guessing there weren't any real experts in the group (or they were very outnumbered). So there was no "wisdom" of diverse experiences bringing something to the table.
Ahh, well, I'm not sure of any new players, as of a few years ago most of the telecoms have their own form of mobile money transfer. It mostly started in Kenya with m-Pesa years ago, where people could send money thru USSD codes. Now these companies have apps to do it, like Airtel, Safaricom/Vodacom, MTN, Togo, etc. Some companies in West Africa appear to be going hard for the market in consolidating across telecoms, like Paystack and Flutterwave, one of whom I think got investment from Stripe and the other from Visa I believe.
I got NaN% of life remaining and I'm not sure if it's a bug or a feature
Hard to compare. The internet and its audience is so much different today.
Can you show an example of how they could be confused?
> Enjoy the superpowers you never knew you had.

This so much. I rarely attempt to communicate the experience of ADHD because it's rarely worth the effort but one of the times that I did to a good friend I was met with an affectionate "so you're a bit of a retard" and it's hard to argue otherwise.
Wrangler is body on frame.
Not sure how we are defining wealth here, but for 99% of Americans this is a non-issue given the estate tax exemption of $12m/individual $24m/couples. Perpetual trusts are a boon to the super rich, but doesn’t change the math for everyone else. So don't honestly see this moving the needle much
Webb Deployment Complete
maybe we're in a bubble, but it's just not popping and therefor people acting like we're not in a bubble?

i can't see how this is sustainable at all

edit: why downvote an opinion?
Could see chassis damage underneath. The body looked perfect.
Congrats for the release, looks great! Not a criticism, but model projected shadows (not prebaked on lightmaps) are very jagged or really low-res, reminds me of early Unity shadows. I know Unity worked hard to improve them for years and acquired experts on shaders, because users complained and even moved to Unreal for that reason alone. Not sure if there are now well known solutions to get highly defined shadows, but I'm curious on your plans to improve them.
It is a bubble only if there is an inevitable bursting to be had at a large scale. You see segments of the economy having micro crashes and correcting so I am not sure. Mass psychology has also changed since '08 smartphones and the internet have evolved a lot.

Look at evergrande in China, almost if not bigger than the lehman brothers' crash but China self regulated it. Same with COVID and stimulus. Retail investors are now more powerful too.
Last time I checked Matrix was researching about the topic of multiple homeservers. So you could just use a local homeserver on your device and a remote homesesrver with a fancy name simultaniously. This would also enable users to communicate P2P. But I don't know how advanced this system is yet.
well yes, but wouldn't we refer to them simply by "points of failure" not "single"?
In my state they will just do engine light & ECU test for new cars. On older cars (>=10 years) when they do the IM240 test on a dynamo but if you look at the emissions limits they are all 100x what a normal car produces. Here's the GPM values (reading/limit) from my last test on a 2011 Honda Pilot:

Hydrocarbons 0.023/1.2 (1:50)
CO 0.3/15 (1:50)
CO2 502/NA (guess this one has no limit?)
NOx 0.081/2 (1:25)

Maybe some states apply newer, stricter limits to older cars retroactively but in my experience as long as a car is operating normally it is impossible to fail emissions. I wouldn't be surprised if the ECU threw a code before the dynamo test caught something. IMO the most practical check they actually do is the presence of a functioning gas cap.
> My go-to solution in games with lackluster anti-alias is to just render them at a super-high resolution (4k/8k) and downscale, but that's not great for performance usually.

By "lackluster anti-alias" do you mean some sort of home-grown MSAA that's garbage?

Because you're hand-rolling SSAA/FSAA, can't you just override the AA settings in the graphics driver to force FSAA or something?
yes, but they can go on for much longer than you'd think while you're in one of them
Yep, and I've used bevy. Just get VSCode and the rust-analyzer. It's remarkable how well it works together with the language. There's also a thing that prints the errors and warnings in line to make it stand out more, sometimes you'll miss a squiggle.

But also the suggestions are spot on quite often, eg finding the right import that you can just click without scrolling up to the top to insert, or adding/removing the & and * operators. You'll almost never come across a situation where you think it will compile but it doesn't.
Being able to see how galaxies evolved - you can see a galaxy 200M light years after the Big Bang and compare it to Hubble’s 500M years after the Big Bang.

Also spectra will be available to understand physical and chemical compositions at early times.
I think linguistically the term can be hard to parse.

If any one of 344 pieces were to fail during deployment, then all of the deployment has failed and the entire $10B was a loss. Consider the engine in your car- how many single pieces of it could fail before the entire engine can't work? The difference with Webb is that most of those points were single actions that had to work once.

And we're now at a stage where most of them did not fail.
Instead of doing all operations required to render the gamestate in a single frame you spread them in parts across multiple frames. This means that the output represents the state of the game some number of frames ago, increasing the time between your control inputs and what you see changing on screen.
I am also really confused. I'm a complete noob and have been trying to learn a bit more about markets and evaluating companies but it seems like so many companies have price to earning ratios of > 30. I mean even $NET (Cloudflare) literally do not make money right now so don't even have a P/E ratio?

If anyone has any light books to understand markets more please do share.
You could argue that cesspools where you see that stuff are what people "really" think. Sure, you get some sub-set of trolls and people there just to cause discontent between groups. But the rest genuinely believe that stuff, whatever that "stuff" may be.
what would be the time required to add transaction invalidation to the bitcoin blockchain to undo frauduluent transactions?