skysight-inc/HackerNews huggingface dataset:
The Scheme community has long held tension between people who want to use Scheme as a teaching language, versus those who want to use it for writing real-world programs.

The former want the language to stay as minimal as possible with a tiny standard library so that there are fewer concepts and options for students to stumble over. The latter want a full-featured language (but still minimal, it is Scheme after all) with a large standard library of useful types and functions so they can get stuff done.

These two perspectives are both reasonable but fairly incompatible.

For most of its history, Scheme leaned towards education. Around the type of the sixth edition (RSR6), pulled somewhat the other way and the language and library spec got much bigger. This alienated a lot of folks who wanted to stay a small teaching language.

For RSR7, they tried to resolve that by simply splitting the language in two: a small one and a large one. Then each subcommunity can have what they want.

Around the same time, the language PLTScheme renamed itself to Racket to clarify that they aren't trying to be beholden to the overall direction of the Scheme community. Racket is also a "large Scheme" in that it's a Scheme-derived language that tries really hard to be batteries included for all sorts of uses. It also can be "subset" into smaller languages for use in teaching.

My impression (from far on the outside) is that Racket has taken up a lot of the oxygen, which may partially explain why RSR7-large never managed to reach consensus and ship.
i love that archive.org has all of these
>It's funny that as an industry we now know how to safely deploy software updates to hundreds of millions of phones, with security checks, signed firmwares, etc, but doing that on applications with a super high unit price tag seems out of reach

A bunch of JavaScript dudebros yeeting code out into the ether is not at all comparable to deploying avionics software to a fighter jet. Give your head a shake.
I was going to repurpose some small old tower fans for some windows in "vent mode" where the window is open slightly but has a latch to lock in in place for security.
I agree with you overall but I would crop a major part of your argument:

> Also we should insist that quid-pro-quo policies be implemented - if China wants to ban our tech companies and control anything and everything on their shores, we need to treat them the same way they treat us.

You don't actually want TikTok in the US to ban all mention of LGBTQ rights, Taiwan, and Whiney The Poo, do you? Those are the rules for TikTok in China; applying them the US would not be a good thing.

But I think the rest of your point is spot on. I don't see why the US should allow TikTok in its country if China doesn't allow Facebook in their country, just on pure economic/free-trade grounds.
What on earth are you talking about? More people have been pulled out of poverty in the last thirty years than ever in the history of humanity!

https://www.economist.com/leaders/2013/06/01/towards-the-end...
The full mem-swap congo line is DRAM<->PCIE<->VRAM<->GPU. PCIE is the weak link, but I'd be willing to bet that those transfers are't 100% overlapped, and PCIE transfer rate represents best case speed as opposed to expected. In the case of unidirectional writes, you'd have to cut that speed in half.
I doubt they are processing 100% of the revenue from those companies. It's very normal for companies to spread their Payment Gateway calls across a number of providers depending on volume, approval rates, geography, currency, etc. Adyen has those logos, but so do the others.
And after the 2004 train bombings in Madrid
I've stuck drives in the freezer twice and they worked long enough to recover the data after. Both were small spinning external drives (laptop hdds) that had stopped working completely.
Airborne Electronic Hardware Design Assurance: A Practitioner's Guide to RTCA/DO-254 by Randall Fulton and Roy Vandermolen

Might sound a bit niche, and it is, but even if you ignore the stuff about actually certifying stuff to fly, it has some extremely useful and interesting tidbits about how to go about running very large and highly complex hardware/firmware projects in safety critical industries.

The chapter on requirements is especially useful, and the whole thing is written in a (relatively, for the topic) light-hearted way.
"Social Cost of Carbon" = $51/ton

2.3 pounds of CO2 exhaled per day / 66,320 pounds/33 tons in average lifetime.
Did you understand what they meant? Was the very first thought in your head confusion at the intent, or did that come when some other part of your mind analyzed it (perhaps very quickly! These parts of one’s mind can be trained to be very fast and to operate automatically) for “errors” you could post about?
Amen! https://documentation.divio.com/
An email redaction function for Postgres
> Expressiveness is a really hard skill that take years to master

It is worse than that. Being good at expressive, self-documenting code correlates with strong communication skills and empathy. So programmers who get good at it tend to increase the risk of managerial borgification.
I like how the last few seem like a sabotage manual in disguise. ̶D̶o̶ ̶n̶o̶t̶ throw stones at the trains. ̶D̶o̶ ̶n̶o̶t̶ destroy communication equipment. ̶D̶o̶ ̶n̶o̶t̶ bring animals to tend on the tracks. Makes sense since these were from 1965–1968: https://en.wikipedia.org/wiki/List_of_wars_involving_Thailan...
Yup. Your fridge'll do the same thing.
I almost posted this an hour ago, and feel more comfy now that it’s an hour later:

I’m sad how quickly this rocketed to top 3 on front page and how little content there is, it’s just someone resigning from a project virtually none of us know about. The “My resignation letter” was titillating enough to skyrocket upvotes and engagement
Thanks for this feedback! I agree with your assessment. Will be changing things shortly. :-)
The you must be the unluckiest person ever to have the only documented case of W11 causing overheating.

At home and work we all switched to W11 from W10 and no such HW problems occurred over W10.

Have you done a clean OS reinstall off official USB ISO? Most likely you have some rogue background process hammering your CPU. I had something similar on a Dell on Win 10 years before. Can't remember what it was.
Pot calling the kettle black. Your comment proves you didn't read it. (You even admit as much, but felt obliged to post your tripe anyway!)
I heard its due to the silver. vampires are weak to silver and silver was used in both in the reflective backing of old mirrors and photographic emulsion.
> A rising tide lifts all boats, and that is what has borne out by historical fact for capitalism.

To a point and then not, which is why capitalism in tbe narrow sense was rejected generally in the early-mid-20th century in favor of the modern mixed econony, which, like strict capitalism before it, is almost certainly not the end of the road on the advancement of economic systems.
The Unison language JIT is being written in Scheme: https://www.unison-lang.org/whats-new/jit-announce/
yeah I more meant my vague intuition of Harley Bro stuff, I have lots more confidence talking about something online than I do have IRL experience to back it up.
From the link: "The same exact GPU model and program versions must be used for compression and decompression". So it seems to me that you need a standardized and deterministic LLM execution model before this becomes useful.
[deleted, never mind -- I think cloud fonts are already more popular than I thought]
Yes, I read it the year it came out. :)
It really doesn't take that much time. On most roads you'd be hard pressed to notice 16 cars. What kind of road are they on where this would be material?

And one reason people choose daycares is because they are close. Where I live anyway many of us walk our kids to daycare.

My guess is they either don't like the woman or the idea of daycare. The car excuse is extremely flimsy.
Oh do you mean allowing the author to select the order? That's a very cool idea!
I agree, it's the perception of there will be a problem the neighbors were sold on. But none of us live on that street, so they can do as they wish.
Yes? Most engineering programs (it might even be an accreditation requirement) involve ethics classes and learning from past failures.

My CS degree program required an ethics class and discussed things like the CFAA and famous cases like Therac-25, but nobody took it seriously because STEM majors think they are god's gift to an irrational world.
Policy Engines: Open Policy Agent vs. AWS Cedar vs. Google Zanzibar
Something I've noticed over the past 5 or so years is a "hobby project" is increasingly becoming the standard. Your GitHub portfolio is almost as important as your resumé itself in many cases. It starts the conversation and grabs attention with potential employers, but doesn't act in lieu of a technical evaluation. Almost every competitive applicant at the intern level has some tool or webapp that they've built out extensively.
What transport? You tried permitting a major transmission line in the western US lately?
I would generally pass this comment by, but it's just so distastefully hostile because you totally missed the point.

GP's comment was expressing sardonic disbelief that a modern jet wouldn't be able to receive remote software updates, considering it's so ubiquitous and reliable in other fields, even those with much, much lower costs. Not that developers don't release faults.
>You can't have an antifeature in free software. If you try, someone is just going to comment it out.

Reminds how Okular by default obeys PDF DRM, but you can just simply untick it as an option in the settings if you want to.

In an ideal scenario, all software would have that tickbox.
That training and qualification is only as good as the processes and standards being trained for and qualified on. We don't have those processes and standards to train against (and frankly I'm not convinced we should or even can) for generic "software engineers". I have a number of friends who are PEs, and it isn't the training and certification process that differentiates their work from mine, it is that there are very clear standards for how you engineer a safe structure or machine. But I contend that there is not a way to write such standards for "software". It's just too broad a category of thing. Writing control software for physical systems is just very different from writing a UX-driven web application. It would be odd and wasteful to have the same standards for both things.

I do think qualification would make sense for more narrow swathes of the "software engineering" practice. For instance, "Automotive Control Software Engineer", etc.
> One of the papers at the center of the present controversy — a 2012 paper on dishonesty — had, in fact, already been retracted before this scandal because, in an unrelated scandal, the data in a different one of the three experiments that made up the study had been manipulated or falsified by a different person.

So we have a dishonesty paper that is falsified data in two different experiments by two different people.
It actually doesn’t have to do with transmission at all. Rather, when you pay for electrolysis, you’re paying for all the energy inputs. When you burn fossil fuels, you’re not paying for any of the energy inputs (hundreds of millions of years of solar radiation). So it’s not surprising that fossil fuels are cheaper even if they’re less efficient.
With TOR, even the middle men don't know who you are (not considering some large entity controlling too much of 5he TOR network). With a VPN, the middle man sees all your (encrypted) traffic.

Considering your question from a host/website point of view, connections trough TOR endpoints are blocked way more often than connections trough a VPN.
Devuan Daedalus 5.0 stable release
> don't actually know how to write a for loop

My god, yes. We had a two-part problem that we used for the "work skills" part of the interview. Part 1 boiled down to writing a two-level nested for loop that was simpler than fizzbuzz. Part 2 was using that loop to solve the rest of the problem, which was far more complex. I lost track of how many candidates spent 40 of the 50 minutes just writing that loop.
Not a typo, they've been powered off for around a decade. But HDDs (just like floppies) don't lose their magnetized property in just 3 years, or even 10 years, barring the very rare case of an extreme fluke or environmental exposure. Flash memory (memory cards, USB sticks, SSDs) loses electrical charge relatively fast, however. That might be what you're thinking of.
But the efficiency of something goes directly into the economics.

If you need need to build out a grid to power your cars, you'll 3x as much energy at the source to get the same amount of energy into the tyres.
Right now it's more of an idea to keep on the back of your head than anything else.

LLMs are still being created and refined, token dictionaries are also changing. For this to work, you'd need something future proof, to avoid having and ultra efficiently compressed file that can never be opened because part of the decompressor is an extremely big and outdated data file that may or may not disappear from the most acessible sites for being heavy and obsolete.

That being said, if we ever make an "absolute" language model with a "definitive" dictionary or make a cheap and efficient way of grounding future models to make them "backwards compatible", this coould be used to preserve data for longevity. HDs and SSDs don't have the same durability of books, floppy discs can demagnetize, etc.

I think microsoft was working on a "true long term" storage medium using a crystal engraving technique to ensure the data could live for thousands of years and survive the elements. For that extreme case it might be useful.
The only thing I'm going to say here is that IMO using RAID5 on disks that size is basically begging to lose the entire array.

I had this happen.. twice I think, back when 1TB drives were "big" for desktop use:

A single drive suffers a fault of some kind - enough to kick the raid controller into thinking it needs to rebuild.

The controller waits for you to replace the failed drive, and then diligently begins reading the data from the other drives as fast as it can.... putting them under increased load.... until a second drive fails...

The larger the disk, the longer the restore time will be, the greater load put on the remaining disks, the greater the chance of a subsequent failure.

If you're insistent on using traditional RAID, I'd recommend either RAID10, or at a push RAID6.

But ideally I'd actually suggest zfs, and add pairs of disks as mirror vdevs to a pool.
> a significant number of people can talk about coding but can’t actually code.

We removed pseudocode from our pre-screening due to this. Some people are absolutely great with English and pseudocode, but can't write a for loop, in their "preferred" language of their choosing. I'm sure they could be great at programming...eventually.
Sorry. Just the generation gap that for my generational cohort, Buicks were reputed to be 'rich old people cars' and therefore not even considered when we would go out shopping for cars.

Whereas in their heyday of 19x0's American car culture, Buicks were right there in the race with Ford Mustangs and Chevrolet Corvettes and such.
I just finished this one. It is an excellent book. He really improved my understanding of geopolitics and why maps look like they do. I also recommend!
"Fan mode" in an old dehumidifier usually means that the refrigeration charge has been lost.

They (almost universally) do not have service ports, but you can charge them using a bullet piercing valve (search for Supco BPV31) and restore functionality.
Needs a pressure regulator to make it safe.
OVHCloud builds their own DCs.
Around 20 years ago I worked on commercial email filtering/archiving system implemented in MzScheme (now PLT) - it was relatively small code base, but very powerful.

I wrote an article about it in Russian (almost 15 years ago), for some reason google translate doesn’t work for archive url: https://web.archive.org/web/20210506123442/http://fprog.ru/2...
Designers use font managers not only to help them organise the fonts per project, find duplicates etc. But also for performance by only activating the ones you need.
> Visa's competitors would be other networks like Mastercard, AmEx, Discover, JCB, China UnionPay, etc.

Or FedNow in the US. I've heard lots of payments folks shrug this off, but the evidence from PIX in Brazil and UPI in India is that it decimates credit card rail revenue.

If you can process a payment up to $100k, $500k, etc for ~5 cents a transaction, I'm definitely not going to eat 3-5% as a merchant. Margins will compress as system participants coalesce around a utility at utility pricing.

https://bfsi.economictimes.indiatimes.com/news/fintech/brazi...
Who defines "too much influence over the public,"?

Which has more influence TikTok or conservative news media that convinced people to try to overthrow the government?
I don't know man, their forward p/e is like > 60 at current market price. Buying part of a business at that valuation with a revenue increase of 21% and decelerating doesn't seem like that great a deal to me.
There's between 500 and a thousand homes within a short ten minute, quarter mile walk of this daycare. There should be no traffic impacts whatsoever from this business, because nobody should be driving to drop off their kid at daycare. If their neighborhood is suffering from car traffic, then that's due to poor street design not supporting alternatives, not any single business attracting customers.

Nobody likes cars driving through their neighborhood. If these were good faith concerns, then these folks would be agitating for traffic calming measures instead of trying to quash the exact kind of business that belongs in a "residential area."
Maybe that's how the Brillant Paula Bean got written: https://thedailywtf.com/articles/The_Brillant_Paula_Bean
Windows 10 allows you to install Fonts per user or system wide. That local directory is what's being identified in this blog post. It's a non-sequitur.

Having too many fonts can cause performance regressions in software but it's not Window's fault. Those apps generate a font cache for their UI to make it easier to select a font. Depending on how that's implemented it can be slow to generate.

I don't see anything in this blog post to indicate the offending Apps are using a native Windows UI for displaying fonts that is performing poorly.

This is like complaining that searching is slow when you have too many files on your HDD.
Hmm, can you provide a source for that? Anyway, as far as I know, it should be a fairly simple process to convert a Leap installation to Tumbleweed, so I'm not too concerned.
The Thai anti-smoking ads are pretty straightforward/gruesome as well, and cigarette companies are required to include them on their packaging.
> Design flaws and not maintaining the system can cause reliability issues.

What do you mean by not maintaining the system?

I have a dehumidifier but beyond cleaning the filter every month or so, there's literally nothing else to do.
Release notes:

"xserver-xorg-core now uses libseat1 to control rootless startx and access to
input and video devices. This has several advantages, the most significant being
that it removes the dbus dependency from xserver-xorg-core."

https://files.devuan.org/devuan_daedalus/Release_notes.txt
I guess the worry is that this is the tor project turning into the equivalent of the mozilla project at their scale, specifically mozilla of the last 5 years. Somehow it never seems sustainable just running on donations. Literally the only lasting institution to do so is wikimedia, and that's it.
> I have found captchas that don't even work and reprompt me all the time

That's the Epic Games Store for me.
> code can be quite grokkable with little documentation

Indeed, the code _itself_ can often be understood from reading the code. Documentation is for everything _else_ - explanation of the choices made and motivations when picking a particular design (so that they can be re-evaluated when a redesign is considered), customer-facing onboarding guides, runbooks for how to carry out operational tasks, and so on.

That is - https://brooker.co.za/blog/2020/06/23/code.html
Find and take a CS ethics class.
>> Y U NO USE SSD ONLY??11

That's why. HDDs aren't failure free but at least most of the shenanigans are solved already. Except SMR.
900 fonts doesn't sound like a lot to do any kind of processing on - certainly not anything that should drive you berserk and spend man-weeks debugging and working around. So that suggests there's something 'accidentally quadratic' going on.
If you were a pirate ship then you were illegal. Otherwise you were registered, flew the nation's flag to which you were registered, and paid your taxes for that registration. It was regulated.
With TDD you write tests first, then ensure your tests fail, then write code, ... for the reasons you mention.
Fascinating!

If you hadn't gone with Scheme, what's another language you'd have considered for this project?
> So, I left the Firecuda in the freezer at -18C for 30 minutes. Inserting it into an NVMe M.2 USB case I was able to see the drive on my Mac. Success!

Oh so the fridge trick now also works for NVMe drives? I saved files out of an old HDD (about 20 years ago) by putting the HDD in the fridge for about half an hour too: got the files out of the drive then trashed the drive.
I'll agree that publishers (especially of academic stuff) deserve even a cent for every book sold the moment they do something useful in the whole publication process. Because at this moment, their contribute is negative.

Until then (which probably means forever), I hope Sci-Hub and similar keep thriving.
It was easy for me to find a Chinese national in San Francisco to verify me for WeChat

There are tricky requirements for Americans
It doesn't have to, though, if you are willing to not try and encode the world. Type systems, in general, seem to hit the same problem. If not, why?

Keep the hierarchies shallow and be willing to go with descriptive definitions over prescriptive ones, and I think things can work out some. You can have prescriptive interfaces that say what all has to happen for some work, but that should be much tighter in how it is put together.
Firstly I don't see how that follows. You still need to pay to transport both the oil and the hydrogen from where you make it to where you use it.

Most importantly, you're not (in most places) paying for the pollution of the atmosphere. E.g. Prices on carbon are nowhere near the level of societal harm that putting it into the atmosphere causes.
Jacob Schick
The graphic artist at my company agrees. He says it's a great tool that he uses often, but it will never replace the creativity of the human mind (at least, for the foreseeable future).
Tangential, but, nowadays there are many digital spaces where saying "its not ok to hate cis white men" will get you a chorus of people saying "yes it is", followed by the boot.
Nobody would need to arm themselves if the laws were enforced properly.
If you have lots of fonts I recommend a font manager. FontBase is free and a great app. Instead of installing your fonts you just activate them in FontBase when you want them. Most professional programs will recognise them immediately without needing a restart.
So New Zealand might not be the best place to bug out to if Australia is a meteor magnet.
Fantasy Weapons – Red Queen from DMC4
Working at a sign shop out of college in the 2000's, Corel Draw, Photoshop, or Illustrator would take enormous amounts of time to start.

After a while, I used a font utility to selectively choose which fonts to load up and hide the rest from the OS. I would have thought MS would have fixed this by now.
Is MITM even possible for HSTS preloaded websites?
Is this some sort of bot post? None of it seems connected to the question
When being an unemployed teenager was a crime