skysight-inc/HackerNews huggingface dataset:
When did the Slashdot effect get renamed to Hug of Death? Anyway, 'tis broken for me too.

There must be quite a few hits on your website when HN links it. nginx out of the box can handle quite a lot of connections, assuming that it isn't trying serve something too complicated on each one.
> the reason Docker saves your ass on reproducibility is emulation of static linking behind the FSF's back

Can you expand on this? It’s an interesting perspective I haven’t heard before.

I get the gist but even without a Dockerfile, a container image is much less opaque and much more deterministic than a binary with a statically linked library where the compiler might inline entire functions and perform optimizations across module boundaries with LTO. It’s not as simple as setting LD_LIBRARY_PATH but it’s not like trying to reverse the information lost during compilation.
Still make the complaint, I never said it was required. In fact, I heard of a company where management said not to complain unless you had a solution and it really bothered me; sometimes you don't know the solution, but the complaint still needs to be made.

You can still do something like offer to help or proposing a meeting as the "solution", or at least the start of a solution.
If you’re just serving static HTML, HN should not be a problem. It’s only if you’re running code (and database queries) for every request that your server might go down in flames.
Oh, actual moving costs more.

How it works here is that you get charged for labor time and space taken up in a truck, and just plain junking requires very little of the former compared to moving where packing, unpacking, and possibly dismantling and reassembly come into play.

The company I used has a rate for using an eighth of a truck, which is what I was charged for a couch.
Not if the floor manager controls the factory floor QA checks...
I listen to a lot of lyricless trance/deep house/electronic music. I personally find music to be key to reaching a "flow sate" while I'm working. It's almost meditative.

I've curated a Spotify playlist that's nearing 300 hrs long, although I add and remove songs on a daily basis. It was recieved quite well last time I mentioned it on HN.

Feel free to check it out:
https://open.spotify.com/playlist/4kXkKPkOoKmWuhmGnBMVRp?si=...
Sadly it's not the 80s anymore. A startup building their own hardware without VCs getting involved is basically impossible. Of course, I'm not talking about taking something like a Raspberry Pi off the shelf and making something with that. Wozniak was building something from scratch that could be sold as an actual product - no chance of that now.
Former LLNL employee here:

You're partially correct on accident. It _is_ single use, but not in the way you think. The NIF facility was built for the express purpose of nuclear weapon design, and any fusion science that comes out of it should be considered a happy accident. I can assure you that very nearly 100% of the people working at the NIF have Q level or higher clearance. The costs are absolutely astronomical.
Sounds like it's already quantified? 160 ms vs 430 ms.
Why does the path have to be shorter?
> You don't seem to know prolog well if you consider more "algorithmic" or "procedural" than, say, smalltalk.

Actually: I do. Which is why I gave the precise reasons for what I wrote, which in turn your critique does not touch on at all.

So again: Prolog is very much a system that computes answers to questions. If you have a Prolog-based system that does not, please point it out to me and I will be happy to have a look.

Cheers.
I predict the internet will soon go spectacularly supernova and in 1996 catastrophically collapse.

-blazepower (2016)
if only Microsoft was not trying to sneak ads everywhere, this could be a moment for MS Phone
I hate puns in names of tools. Makes my brain stutter.
> enormously

[citation needed]

https://xkcd.com/1200/

What is the valuable thing for an attacker?

User data, credentials? Available as a user

Computer capacities for mining? Available as a user

Installing persistence? Available as a user

Installing remote management? Available as a user
Yes, profits go up when there is a supply shock and demand outstrips supply. The effort to divert blame for the predictable results of deliberate policy choices—reducing domestic production—onto oil producer profits is really quite remarkable. If you want a different result, you need to either increase supply by increasing domestic production, or reduce demand by switching people to EVs. If you reduce supply without reducing demand then prices will go up and profits will go up.

It’s such a sign of how Americans have become a society of children. They are completely unable to grapple with trade offs: “if I do this thing I want to do, I’ll have to pay this cost or give up something else.” Any negative consequences must be externalized and blamed on someone else.
> The human author of the text and this well-known blog is Stuart Deutsch, https://twitter.com/toolguyd

I find him to be pretty reliable overall, and I believe he’s drawn ire from some manufacturers due to his honesty.

He also has a PhD (in materials science IIRC), FWIW.
Maybe she had just watched The Hunger Games and was feeling inspired.
It's probably best to understand it the other way around: Alex had been designing generic programming libraries in assembly, and tried to move to Ada — but was stymied. Simplifying into a just-so story: he approached Bjarne about adding a set of features to C++ to allow Alex to directly express generic programming in C++. That's what led to templates, etc.
Declining quality of consumer-grade products – 2009 fridge compressor autopsy
A lockfile is a way to lock your indirect dependencies. If you only install based on the lockfile every dependency is pinned.
Even so, diesel with a 2nd trailer >> electric with a 2nd trailer, which changes the economics in a non-trivial way. There's also the question about how to pay for road wear, which is currently subsidised by consumer vehicles, as the diesel tax falls far short of paying for itself, while there's no tax infrastructure for electric yet — that will also impact the economics of this.

I'm a full proponent of electric vehicles, but full electric doesn't seem quite ready for semis. Perhaps hybrid is the way to go vs full electric, at least until the battery tech catches up.
You're probably over-cleaning.

If you're cleaning it hard enough to remove the brown/black layers that form near the bottom - you're cleaning way too much, and never letting it build up a layer of seasoning.

Despite the claims that modern soap won't hurt, I find it varies tremendously by brand. So I don't use it.

I literally just drop about a tablespoon of salt into the large skillets, and wipe out with a paper towel while it's hot still.

The egg pan gets a light scrub with a non-scratch sponge, and that's basically it.

Also - I'm in no way affiliated, but this is basically the best cleaner for cast iron you can get: https://www.amazon.com/Ringer-Original-Stainless-Cleaner-Pat...
Incurring debt is different than the ratio of debt to gdp (or anything else).
This post in particular, though, felt like a generated advertisement. There was too much repetition, too much promotion and strange wording.
Thanks for the correction

I thought the scaling was squared, but you are right ! It is polynomial to the order of 4.

It is 16X ! the road wear. That is very significant, given that base numbers for a heavy truck run 24x7 already quite high.

sources:

[1] https://www.insidescience.org/news/how-much-damage-do-heavy-...

[2] https://3kpnuxym9k04c8ilz2quku1czd-wpengine.netdna-ssl.com/w...

> For example, while a truck axle carrying 18,000 pounds is only 9 times heavier than a 2,000-pound automobile axle, it does 5,000 times more damage.

[3] https://www.gao.gov/products/109954
Instantaneous launch windows are not really that unusual.

For example, all the missions to the International Space Station are like that. They launch when the launch point passes through the plane of the ISS orbit.
> go through hundreds of hacked accounts every day, their stuff is constantly getting taken down.

YouTube has very advanced image & voice recognition technology that is very efficient at flagging (and demonetizing) certain content merely based on trigger words (terrible for science channels that show fire/explosions/etc even though there is no violence involved).

If crypto is such a popular target, maybe introduce an extra verification step (that requires uploading ID/etc) to whitelist channels for crypto-related content, and any other channels that have not done the verification (because they don't plan to upload crypto content) can't upload anything that matches those words? This would at least prevent non-crypto-related channels from being hacked and suddenly starting a crypto scam livestream.

The reason it's not done of course is because Google bears no liability (despite promoting these scams in the "recommended" section) and the scammers & victims still generate "engagement" and watch ads.
> most modern tech companies are going to want to not fire people for telling the truth

I agree. I gave that as an extreme example of "the fool's choice". More realistic examples include "I can tell the scrum master he talks to much in retrospectives and he will dislike me, or I can be quiet about it". Truth is you can probably find a good time and way to tell him that will not hurt his opinion of you.

As for raising safety concerns at Boeing (for example), maybe that's not a "fool's choice", but simply a choice. Are you going to do the right thing or not? Sometimes the "if I speak up, bad things will happen" mindset is the unfortunate truth, but not as often as many think.
I definitely like the idea of this but it seems like the tendency is always the opposite because it's much cheaper to build a pedestrian overpass than a car one, even though they're also an accessibility nightmare and usually kind of a terrible experience and aesthetic blight in their own right.
How long ago did you check it out? If it was recent enough, then the library you checked it out from would have record of it. I'd love to know what the book was!

I've searched and searched and can't find any Prolog book that matches this description. Hopefully you're able to find or remember it.
But still:

> I don’t think that’s true.

There's no reason not to believe zamadatix, right? It is probably the case that they are making an irrelevant comparison, but not an untrue one.
> See, one problem in Mexico is that defaulting in a loan is not a crime

Nor should it be. Lenders like to conveniently forget: the risk of default is the reason they charge interest. If there was no risk of default, you couldn't really justify charging much interest, could you?

Issuing a loan is a business arrangement, and default is one of several clearly defined ways of exiting that arrangement. Lenders have been very successful in their attempt to smear default as some sort of moral failure. Like you're some kind of bad person for making a sensible business decision!
Is there a public code repository and issue tracker where fans and users can discuss and contribute?

Very neat, and impressive. The one downside I noticed for the exemplar page is the browser CPU load. constant 33% of 1 CPU on an AMD Ryzen 7 1800X with Firefox v103.0.2, and around 32% with Chromium v104.0.5112.79.

I guess that's fair though since the 'page' is playing Towers of Hanoi AND animating the Hilbert curve AND a linear watch (clock)!

I enjoy the presentation itself too - no wasted space, nice multi column, no space-wasting top-bar, no annoying sidebars.

Being able to invoke the code editor with the floating resizeable text-area feels so natural.

The one thing that would be good seeing as the page is a viewport onto a larger canvas is auto-scrolling the viewport when the pointer approaches the margins - so we don't have to chase, make visible, and manually grab the browser scroll bars.
That would make the page naturally follow where our attention currently is.

Certainly brings a whole new meaning to "Single Page Application".

Not even going to attempt to view it on a small device though!

The only downside is requiring client-side Javascript to render - I wonder if there's a way to have a fallback to render server-side in that case?

I've been procrastinating over choice of some kind of simple wiki-like static site generator for recording many real-time stream-of-consciousness disparate unrelated bug investigations,fixes and code hacking across a wide range of open-source software.

This has a quirkiness to it that I like and it feels like a nice fit for someone with a coding ethos (even if not usually into functional!).

It may even conquer my preference for Markdown!

Time to explore!
Just to avoid confusion, the page & excerpts you cite are from an 1800's French economist named Bastiat, not from the legendary 1980's neo-expressionist painter Basquiat.

Since this thread is about art, I figured people might read the name Basquiat in your comment and think that he wrote the quote you cite, which would in my mind give it greater relevance to this discussion than it has.
I took it as a play on words, but the problem is that the context doesn't really change. It's not an "at first" thing. The name is confusing since vocoders are still very much a thing, and they can even be used to do what your software does.

It isn't all that different than naming a car "Wheel" and wondering why everyone is so confused when they hear the phrase "Take the Wheel." Clever, but misguided.
My problem with Pollen is ... Racket. Racket is much more powerful than my tiny homemade lambdatalk but Racket is dedicated to coding in a console and not to write in a text editor. I wanted to be able to write text as in any text editor (without quoting words, strings, ...) and I had to implement an inversed evaluator to do so, skipping words unevaluated and evaluating only expressions. In fact lambdatalk is nothing but an extended HTML in lisp clothes. The engine is essentially built on a single regexp, not on parser working on an AST.
Why write a new language rather than expand on an existing one or an existing ecosystem? Maybe I'm not the intended audience, but personally, I struggle to think of any reasons to use a new language except to get access to an ecosystem of packages I wouldn't be able to use otherwise.

Something like TypeScript, for example, really caught my attention because of how well it integrated into the existing JS ecosystem, adding sanity while still not sacrificing interoperability.
Air Force Contemplates Reorganizing Software Factories; Kessel Run to Expand
Not until they remove URI-based imports.
https://litchan.com

link aggregator/RSS feed with real-time chat

https://www.quickq.app/

Knowledge base for slack
Over the last few months we've seen so many "Page served from..." and most of them are just DOA.

Why can't people put a little effort and host those pages on their hardware/software of choice but at least put them behind some CDN (at least for static resources)?
Isn't this standard for educational software too now? My understanding is you can't take a test remotely unless it's on a rooted system.
There's Framework and Librem laptops, I'd rather buy those than a Mac (I didn't downvote)
Where was the center of gravity - the mass centroid - in terms of handling?
Thanks @dave84. Looking into it now. Here is link to Amazon http://www.amazon.com/dp/B00Q6MA3P8
Because the factory manager is the one selling product out the back door.
It could possibly happen in robotics or home automation. SparkFun could get there, or Adafruit.
It looks like the author made the opposite claim three years ago:

http://math.ahu.edu.cn/_upload/article/files/85/03/f191ded54...
VCs aren’t that interested in hardware. Nobody bets on a crippled horse. The same with hardware startup. Why invest in something with tons of embedded software, connectivity software and all the problems with moving physical objects when one could invest just in software venture that has at least 10x higher chance to succeed?
Me too, I've avoided it as much as possible but now really love it. Apps can be done without any real server side work now too so is really a great platform.
Easily is relative. Any defense can be beaten. The question is whether or not it's worth beating it. There's no point in spending a million to crack a safe with a thousand in it. Well, unless you just want to $%^& whoever owns the safe.
> the intended effect of the product is not cosmetic

I mean, what is the working definition of "cosmetic"? Toothpaste and moisturizer are considered cosmetic by the FDA even though they certainly have health applications.

> they will make back their investment very quickly

The key words here are very quickly. According to the GAO, the process is anything but: https://www.gao.gov/assets/gao-18-61-highlights.pdf

> Return on investment. The testing FDA requested is extensive, would cost millions of dollars, or take several years to conduct, according to sponsor representatives. Some stakeholders and sponsor representatives said that sponsors are currently working to develop newer sunscreen ingredients and are therefore reluctant to invest in the testing FDA requested for the older ingredients covered by the pending applications.

So it's unclear that this process is worth it when the foreign cosmetics companies can just sell to the other 7.6B people not covered by these requirements, and the products might no longer be manufactured by the time they are approved for use in the US. Also, no ingredient has successfully made it through in the past 22 years, so it's not clear that spending all that money will actually result in actually being able to sell the ingredient.

In addition, according to the same GAO report, the FDA requires animal testing. It is a really big movement right now in consumer cosmetics that the consumers who are paying for premium products also want cruelty-free products, so the required FDA testing may actually make the products unmarketable.

> if they don't poison people or the planet

To be clear, the approved ingredients don't necessarily do this either. Only two ingredients of the approved 16 are deemed to be GRASE (generally recognized as safe & effective) by the FDA. Two are just not safe, and the remaining 12 do not have enough data. https://www.fda.gov/drugs/understanding-over-counter-medicin...
> The quality of a mass-produced product like a consumer hand tool isn't a function of the country in which it is made but rather of its design

There's a lot more to production quality than just product design. Quality of materials, manufacturing tolerances, heat treatment, surface cleanliness, quality control procedures, tooling wear, order of operations, assembly jig design, and so on. Some of those may be affected by the country in which it's made, and some may not. While you may say those are "design" in that the designer specifies the material they want, whether their product really gets made the way they envision is not always up to them.

And even when it comes to just design, I'll say one thing: I have a lot more confidence in the designs produced by designers whose desks are within walking distance of the production line.
> as if there's a status token that needs to be distributed to have a working social network

I mean… empirical evidence would suggest that this is true, no?

Has there ever been a popular social media/network that didn’t have a very direct form of status token?
this showed up in my google results and made my day. Thank you so much for recommending The Jordan Harbinger Show :)
Feels like I've read this quote somewhere else, maybe some lisp book/manual. Is this the original author? And on the topic of objective quality in PL:s, the article I read had some good points stating that it actually exists.
If factory owners really want integrity from software-executed QA checks, they can require HQ authorization of software and config updates on factory floor equipment that is equipped for local tamper detection of control planes.
I've done somafm (cliqhop), di.fm, and a lot of IDM previously (Boards of Canada, Dabrye, Slow Magic). I've also had a brief lo-fi phase. These days I'm into synthwave and chillwave, maybe some vapor or retro too.

A constant, though, is I downloaded lots of video game soundtracks and made various playlists. If you're on Linux it's easy to play from the raw formats; if you're on Mac I say give up and use the MP3s.

I've had friends suggest movie soundtracks (John Williams, etc). I'll probably give that a try someday.
But what about the ceremonies?!?!
* Structure and Interpretation of Computer Programs: https://web.mit.edu/6.001/6.037/sicp.pdf

* Concepts, Techniques and Models of Computer Programming: https://www.info.ucl.ac.be/~pvr/book.html

* The Art of Prolog: https://www.dropbox.com/s/2umr9ouz0jdelio/1407.pdf?dl=1

* Probabilistic Models of Cognition: https://probmods.org

Something that merges logic, types and proofs, perhaps yet to be written. Some good preliminary material:

* Program = Proof: https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching...

* Concrete Semantics: http://concrete-semantics.org

* The Hitchhiker’s Guide to Logical Verification: https://raw.githubusercontent.com/blanchette/logical_verific...

* Programming Language Foundations in Agda: https://plfa.github.io

* Logic and Computation Intertwined: https://cs.uwaterloo.ca/~plragde/flaneries/LACI/

* Software Foundations: https://softwarefoundations.cis.upenn.edu/
Increasingly looking like my decision to give up bootcamping myself into a coastal tech job and come back home to the midwest and work in a factory was the correct choice long term. Plenty of job security with all the onshoring happening. Ironically I'd be worried if I was in tech about the WFH trend and out of touch entitlement of the zoom class bringing about outsourcing again. Oh and the funny money ponzi scheme collapsing + that whole ageism thing..
My reaction too. The writer didn't even do the homework to know the publisher revenue split for Apple News. I believe it's 70/30 publisher/Apple if Apple sells the ads (in which case the end user gets shockingly awful ads, borderline bellyfat ads), and it's 100% to the publisher if the publisher can navigate and set up ads through Apple's tools, which is time-consuming and resource-intensive.
Search: cashier serum bpa

Example study: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4927604/
What languages would you say maximize development speed? Fastest time from initial need to mvp deployed and working (working well enough at least).

I'll further constrain my overly broad question by saying this is for back-end business logic heavy code or even embedded code with few dependencies on databases or frameworks. So just pick up a language and its available libraries and/or bindings and go solve X.

Python springs to mind, maybe julia. C# maybe?

I'm most productive in matlab but deployment is kind of an issue, so I usually write it again in c++ or cuda.

Python seems really easy to do anything in, and unless I hit a performance shortfall I can't fix with calls into native, I'm done? Julia seems like a write once thing, but I'm still trying to find a sane workflow for julia between the repl and an editor. Ideally I'd be able to try stuff in the repl then easily copy the text that worked into a module. But copying from the repl isn't terribly easy for blocks of atuff, and then clearing that stuff out so ut doesn't conflict.