skysight-inc/HackerNews huggingface dataset:
It’s just jarring this entire thread:

“ I can’t imagine why anyone wouldn’t use vertical threads”

“ doesn’t work on small screens”

“Get a bigger screen”

Consider that most people don’t care to even if they have the money. I sure don’t care for a bigger screen. I find myself more productive in a small screen anyway.
It won't tell me, it just shows the infinity sign. I guess that means something over 99.
Racket is very used in the PLT community (programming language theory) for prototyping programming languages. Lots of cool stuff in this area.

For example, the MIR formality [0] project of the Rust programming language to formalize MIR (their intermediate language) was first prototyped in Racket [1], then rewritten in Rust. [1]'s readme give a rationale:

> For the time being, the model is implemented in PLT Redex. PLT Redex was chosen because it is ridiculously accessible and fun to use. It lets you write down type system rules and operational semantics and then execute them, using a notation that is very similar to what is commonly used in published papers. You can also write collections of unit tests and fuzz your model by generating test programs automatically.

> The hope is that PLT Redex will prove to be a sufficiently accessible tool that many Rust contributors will be able to understand, play with, and extend the model.

> One downside of PLT Redex is that it doesn't scale naturally to performing proofs. We may choose to port the model to another system at some point, or maintain multiple variants.

[0] https://github.com/rust-lang/a-mir-formality

[1] https://github.com/rust-lang/a-mir-formality/tree/1f40120f09...
FreeBSD Bhyve Virtualization
The thing to me that is so ironic about juicing is that most people who are super into things like juicing and "juice cleanses" (whatever the hell that means) are totally against "processed" foods.

I'm like "What do you think a juicer is??" You just took that natural plant that's loaded with healthy fiber, removed all the fiber and concentrated it so it's mostly sugar and water.

If you process it at home it's still processed.
You can take my band tees from my cold dead hands.
It's just ads because YouTube serves you think most clickbaity thing that will keep your eyeballs on screen (for the ads). Homepage doesn't care about discovery at all that's just a side effect.

I think maybe you should stop subscribing to channels you don't like?
I don’t think using drugs under age 24 generally means there is a really high chance that you were disadvantaged in life
No age defines the boundary between adolescence and adulthood
Yeah Steam drive is what I was thinking with large applications, but it could as easily be something like Xilinx’s Vivado…
Building Intuition for Lattice-Based Signatures Part 2: Fiat-Shamir with Aborts
How does a spec fix bugs?
Turing complete

However it appears that Idris is Turing complete https://cs.stackexchange.com/questions/19577/what-can-idris-... https://gist.github.com/porglezomp/b7bbbecbac1c2289fc890a53d... so I'm confused.
Just add citric acid to buffer that oxalate, you'll pee it right out.

Don't overdo any one thing, no matter how healthy. As Paracelsus said; Dosage makes the poison.
https://studios.aeonax.com/racers/

Trackmania meets Elite Dangerous but in 2 Dimensions

This my attempt at making a serious game, learning stuff and finally publishing wherever possible.

And I love feedback.
The problem is that such imaginings are not tethered to physical reality. They are driven by ideology, or I would say mythology. The physical reality is that we are living in an ecologically, evolutionarily untested paradigm that is very recent (on relevant timescales) and powered by patently unsustainable practices and resource use. The cost is rapid ecological degradation and global disruption to the biosphere. It seems quite clear that the track we are on does not lead to the stars, but to ignominious self-termination of this whacky mode called modernity. It simply does not add up, once the mythology is stripped away. The venture capitalist of nature is about to slam the door on our faces.
All the more reason not to.
Apologies, you seem to think I'm throwing them both under a lot of the same bus. That was not my full intent, and I will gladly cede that academia pushed OO far harder and to worse results than many functional things were pushed.

That said, I think you are giving "algebras of data types" a bit too much credit here. The vast majority of the coding that is done will not be made better by elaborate ways of coding things above and beyond a relational language. Having an algebra is a happy convenience when it works. But I have been bitten by far too many failed attempts at making them work to think it is "unlimited descriptive power."
The Seikilos Epitaph, the oldest surviving complete musical composition [video]
How did you derive communism from theirs suggestions?
No, they really didn’t.

One could reasonably argue that in some cases they were stretching the meaning of a rule, but they didn’t just arbitrarily ban users.

Heck, if there was one thing the Twitter Files actually showed it was the massive amount of debate and discussion and fretting that the powers at Twitter spent over most of their decisions.
I love tech’s endless fixes for self-induced problems.
> If you want to consume copyright protected content you need - unless the copyright owner allows you - to make some sort of value exchange

The above claim is readily refuted, since:

1. I can easily borrow books, music, movies, etc. from public libraries, and I don't need to pay anything to the copyright holder.

2. The first sale doctrine also allows me to purchase books, music, movies, etc. without paying anything to the copyright holder.

3. Fair use (e.g. parody, criticism) permits me to use copyrighted works without paying anything to the copyright holder.

4. I can easily listen to music on FM radio without any royalties being paid to the copyright holder of the sound recording (unless they are able to collect songwriting royalties.)

> This is a primary tenet of copyright: that the copyright owner can control who does what, and only they can grant that permission, and they can sell (or exchange value) for that permission.

The above 4 examples are common situations where the copyright holder does not control "who does what."
People aren't different when it comes to these things. Eating healthy is beneficial for every single individual. Physical exercise is beneficial for every single individual. The same goes for the mental and spiritual side of things: exercise is beneficial and nobody is an exception.

Doesn't mean we shouldn't rest our body and our soul.
>There is no comparison between the detailed, auditable financials that we have for a project like SLS, and the one or two headline numbers that SpaceX has told us about something like Falcon 9.

No one is claiming otherwise, which is why the WSJ article based on said confidential internal SpaceX financials is so interesting.

As others keep telling you, what matters to NASA, DOD, and other SpaceX customers is what they pay per launch, not how much SpaceX's costs are per launch. Obviously, if a launch cost DOD $50 million but it cost SpaceX 9000 megazillion dollars, there would be some concern on the customer's side about whether such a launch could be purchasable again later, but a) we've had many, many dozens of launches that SpaceX has successfully pulled off, so the internal cost per launch for SpaceX can't be that many megazillion dollars. b) According to the WSJ article, SpaceX has achieved profitability as of this year, so we can now be fairly sure that the cost is, in fact, less than $50 million per launch.

Your statement that SpaceX may be booking Starlink launches as revenue is irrelevant. Hollywood accounting works because a film studio can, by shifting expenses to a particular film from elsewhere in the company, always claim that the film is unprofitable; the overall revenue and profit/loss for the studio is unaffected. The documents WSJ viewed are for SpaceX as a whole, not "SpaceX's launcher division". Even if the launcher division charged the Starlink division 9000 megazillion dollars per launch, that would be exactly balanced by the Starlink division having to book 9000 megazillion dollars of expense per launch. Again, according to the documents WSJ viewed, SpaceX overall has achieved profitability. That's a major accomplishment given it being by far the lowest-cost launch provider in the world.
300 cd/m is plenty for indoor use, unless you care about HDR.
I mean, I tend to think it probably should count, but there's a valid argument to be made that it's not really inter-net traffic if it's inside a single (ISP's) network.
Trusting humans as death metal operators over AI. Good luck with that.
Cache is for user specific, non essential data.

I'd prefer a multigigabyte download went in state or data dirs if you don't want to lose it regularly.
> I perceive them as setting the expectation that I will reciprocate similarly.

You know, this might be challenging to hear... I think there is such an expectation. And along the lines of what 'ketzo said above, I kind of think it's a categorically good expectation.

The only thing you might be missing, not because you're not socially sensitive, but just because it's non-native communication to you, is that those people genuinely care. The expectation isn't that you'll respond with a cheery reply-- it's that you'll respond with care.

What I might put on the table for you is, what if you think about it as replying in kind, rather than in form? If someone says something cheerily nice to you, you don't have to say "omg thank you!! :D". You can just say "Thank you.", from the heart, however you say it when you really mean it.

And yeah, some people will still take that as you being unkind. And if you mean it, that means they're the socially insensitive ones. They're the ones who don't really care! You don't owe them anything more.

But... I think you might be surprised at how many people really are willing to meet you exactly where you are, as long as you really do care.
Possibly 23k years ago

https://www.usgs.gov/programs/climate-research-and-developme...
Yeah, it’s really a shame. I have the original iPad and the hardware remains solid. If I could have an updated browser that could display modern websites without crashing, I would still use it.
You actually need fats to poke the satiety receptors.
I'm gonna go ahead and say that if something is bad enough to kill someone who is somewhat weakened, that doesn't make it fine for folks who aren't weakened. This is an extreme diet and even if it doesn't kill you, it's ridiculous to think it will do you no harm. If you're at risk of death from taking antibiotics because you only eat fruit, the problem isn't the antibiotics.
ATP via Electric Current
Even better, it’s the N series which is all e-cores. They’re fast enough, and there’s no worry about the p-cores wasting battery in a tablet.
I am not sure this title is unbiased but without more research I can't know. However, I think that privacy is not the focus of this act, and as much as we need to stop data collection if NYT is right, this could enable government censorship which is much worse.
I don't think that only caloric content matters. How satiating do you find a 150-calorie small bag of Doritos compared to three or four grapefruits, with a similar caloric content? For me the answer is "not very."
IANAL but that isn't obvious to me. What if you have an automated process to build images that you use in a hosted service product thay competes with a hashicorp product. I could see an argument that you are "embedding" packer in your service.

And any CI/CD product can no longer include building images with packer (at least as long as it includes a distribution of packer), or probably even have packer pre-installed.
Look up the interviews with people who actually worked for him and with him on YouTube. He successfully recruited and retained top talent, and inspired fierce loyalty at Apple, NeXT and Pixar. Hard to do if you treat people unfairly.
You’re funny
Well, Zstandard can be used as a very fast classification engine, which is a task traditionally done by AI :
https://twitter.com/abhi9u/status/1683141215871705088
https://github.com/cyrilou242/ftcc
This is arguing semantics really. When people say "processed" they don't mean run through a blender, or mashed in a bowl, etc. They mean food that is processed industrially with a bunch of (usually unnecessary) chemicals added to stabilize or enrich the food. Oreos are a processed food. Cake you make at home from whole ingredients is not processed. You are correct technically (the best kind of correct) but in every day speech they are different.

Your greater point I agree with though. People who drink vegetable smoothies don't realize all that delicious sugar those vegetables have is now streamlined because they destroyed the fiber. But hey! It's healthy!
Programming Distributed Computing Systems A Foundational Approach

Carlos A. Varela

2013

https://mitpress.mit.edu/9780262018982/programming-distribut...
This gets mentioned in the angriest (rightly so) obituary-cum-book review I have ever seen written about anyone ever.

https://www.reuters.com/article/idUK144083343120120222

(the biopsy line was originally after the quote from the wife abut not opening his body yet)
So run quicken in a sandbox vm with only the standard system fonts installed
Almost ten years ago I watched my boss's daughter open YouTube and search for Elmo. She didn't know how to spell Elmo (she didn't know how to spell anything) or which keys were which letters. She had memorized which keys on the iPad keyboard to press. And if she goofed one, Google helpfully corrected it.
> Some amount of the value baked-in assumes that SpaceX will earn money on any of the thousands of revenue sources possible in the creation and running of the first large-scale city on Mars.

For that to make any sense at all, somebody would need to figure out a profitable economy for a Mars colony. Nobody has been able to do that.

Big defense contracts from the US military is where SpaceX will strike gold, if they do. All the money is in launching stuff into Earth orbit to serve some practical purpose on Earth.
No, saturated fats good, poly-unsaturated (PUFA) bad.
The Japanese defeated the Dutch on Indonesia by using bicycles. It was the most ironic of defeats.

Colonialism never recovered from that blow.
I disagree, it's potentially a much more versatile format.

What's needed for use as a laptop (aside from a disregard for ergonomics) is a k/b with an extra battery for weight/balance, and actual friction hinges to hold the tablet at the desired angle.

The tablet itself could then have smaller batteries and be lighter, maybe as an option.
Just curious are there still "normal" NiMH batteries sold now? It was the normal when eneloop was debut, but I think every NiMH batteries I can find now are switched to eneloop style less self discharging (though some aren't good as eneloop).
Blended Wing Body Demonstrator Jet Contract Awarded by Air Force
The missing is all yours :) . The citizens aren't the goal, the space achievements are. And that's where NASA and ULA were left in the past.
I think you misread that. GP is saying they could do whatever they want on their property, but they are not on their property. They are on government property
I disagree that saturated fats are the bad ones. It is poly-unsaturated ("seed oils"/PUFAs) that are bad.
"you can drink outside but you can't go home afterwards until you're not drunk" seems wild to me, but maybe I'm misunderstanding how the center works.
Decent complex types and library calls to do exponentiation, etc, don't always come for free in any given language environment. It's nice that it "just works" in many scheme environments (but this is not the only language runtime where this is true and it's not something that you can't work around).
Or you know, you lot could stop giving them money.
During a cave tour one time the guide told us that the darker strata in the marble(?) in the cave walls was from microscopic life in an ancient seabed, and the lighter ones were from periods of...not sure if extinction is the right word, but "less of it".
In some ways, tiling WMs are a natural fit for tablets — consider e.g. the iPad’s ‘split screen’ mode, where two windows take up the whole screen between them. It’s easy enough to imagine a WM where you can drag windows to move them around, and drag the splits between them to resize. On Linux, this kind of paradigm is implemented by e.g. Hyprland. I dislike it for desktop, but on a tablet I’d happily use it.
Hello!
I can see you're discouraged. Have you had a chance to sit down in person and talk with a fellow programmer friend or colleague about your experiences and what you can do to change your situation?

I am less pessimistic about the job outlook. As both a developer and a hiring manager, I do not think the need for junior developers goes away with AI. Managers aren't magically all just writing code by whispering into the AI and having it produce their product.

A few questions/thoughts; please keep in mind I do not know the ins and outs of your situation:

- You've indicated you're sending out endless applications. As a hiring manager, one thing that particularly stands out is when the applicant shows me that they are interested in my company's specific job posting - so quality over quantity may be key. Are you including a cover letter that shows you've looked up the company a bit and are able to make a convincing argument you'd be a good fit for the job? It might seem old-school but the number of applications I see with a well-sharpened one page resume and convincing cover letter are less than 5%.

- Have you sat down and reviewed your resume with a hiring manager to help sharpen it up?

- If you are getting as far as rounds of interviews but are consistently getting rejected, it may be worth it to double check your references. Perhaps one of them feels differently about your performance than you'd expect, and is burning all of your interview hopefuls. (I encountered this on the job just this past week.)

- Have you sought and received helpful feedback from job applications where you did not succeed? Ideally this sort of feedback can help keep you from painfully repeating things.

- Are you willing to work onsite rather than remotely? Are you willing to relocate someplace less glamorous? If so, I think this may open a few new doors, and may provide opportunities to build experience.

- Regarding starting your own business. You've mentioned that you do not have a burning passion to be programming all the time. If you are considering starting your own e.g. consultancy, I'd like to note that - successful or not - one thing I've seen as a strong common factor in all entrepreneurs is that they have a strong passion or dedication to their mission and often their craft.

- Switching career paths. I do not know your situation, skills, or true expertise - but your post sounds as though you are deeply discouraged. I'd recommend seeking counsel from family or friends who know you well - they may not know software development well, but they may be able to provide perspective.

Can you tell us a bit further about your experiences and specifics on things that have worked or not?
Sounds a lot like the employer-employee relationship, especially in a startup.
Coefficient of thermal expansion is related to density of an object, so chips with higher density and circuit boards with lower density expands to different sizes at the same temperature. Something will have to give way eventually, and usually the solder balls that join chips to the board do so by building up cracks.

It WILL do other harms to the SSD. Semiconductor parts have limited reflow counts allowed to meet specifications such as failure rates, longevity, maybe power consumption too. It will be a factor at scale or over time. But it's free extra half life for semi broken parts too.
Yeah, just like a car is a CTRL + V of parts available on the car parts market.
There is redemption committee in Finland Chamber of Commerce that will assign a arbitration court to handle the redemption. They will also assign a trustee who will represent the minority shareholders.

The valuation is decided during the arbitration process. From what I understand if there has been previous offer to buy it's quite likely that will be used at least as initial basis for the price.

There seems to be at least one English article about the process: https://insights.fondia.com/fi/en/articles/corporate-law/sha...
Serious green eaters know that oxolates are there to make eaters move on from taking out the whole bush. In the same way, if you consume a high amount of greens you have to rotate them.
Fully upgraded Paladins still cut through heavy camels ;)
Mimic 3 Privacy-Focused Neural Text-to-Speech
There have also been large finds with many dead megafauna together. It is not expected that humans at that time had the ability to slaughter very large numbers of megafauna all together.
I really hate this kind of micro-analysis when it comes to health. The human body is really really complicated and getting fixated on things like oxalates is in direct contradiction to longer term studies on overall health that show that eating mostly plants is a good thing.
Low response rates are used as a spam signal by major email providers, whatever the type of email.
I don't know, in the context of my own country (Brazil) there seems to be some (probably small) amount of intentionality [0] of government officials in measures that are obviously malicious, like rejecting vaccines [1] and other actions that aided the spread of the virus. We shouldn't live in a world where the incentives of government officials coincide with excess deaths of elderly or any other population group.

But the trouble with conspiracies is that they ascribe a level of competency that's unrealistic. So it's unlikely there is a government program specifically targeted to kill the elderly, not because governments are above this, but just because this kind of thing can't be made secret for too long (just like this specific remark from some specific government official in Brazil quickly became public).

Anyway I didn't find this specific tweet hateful.

[0] "Covid deaths improve the bottom line of social security", in Portuguese https://www.estadao.com.br/economia/morte-de-idosos-por-covi...

Google translation: https://www-estadao-com-br.translate.goog/economia/morte-de-...

[1] https://www.reuters.com/business/healthcare-pharmaceuticals/...
Sampling methods papers starting from Introductory to Advanced
They're one and the same.

Y = λf.(λx.f (x x)) (λx.f (x x))
There is really nothing to be won here. Bud light lost a bunch of customers and didn’t replace them from the other side. They took a risk for no reason. A beer company should focus on beer, a retail company on retail, a school on education, and leave justice to the courts.

Institutions like Bud Light and Target are going to have a hard time projecting controversial values because thats just not their role in society.
> Even more beautiful than the y combinator

That's a bit of a strange statement. The Y combinator is an expression in λ calculus. It's like saying French is even more beautiful than the phrase "nouveau départ".
It's incredibly difficult to get people to deplane according to any particular planned method, at least in the US.
Shameless plug - site: https://recalls.me - It aggregates recalls from all USA agencies and you can register to get alerts!
Not contrived examples. In scientific computing it is quite common and for example it is common practice to set OMP_NUM_THREADS=no of physical cores.

As an overly simplified rule of thumb, for compute bound applications one should uses number of threads equals to no of physical cores; and for IO bound applications, set to no of logical cores.
Facebook to Meta. Twitter to X. MindGeek to Aylo. What is it with companies dumping highly recognizable and imaginative names for nonsense names that convey absolutely nothing meaningful? Is this part of the process of dumbing us down?