skysight-inc/HackerNews huggingface dataset:
What happened to http://icfpcontest.org ?

Last updated for 2020 contest :-(

Oh, I found

https://icfpcontest2023.github.io/#/

https://icfpcontest2022.github.io/#/

https://icfpcontest2021.github.io/#/

And a very stale
https://icfpcontest.github.io/#/

Maybe someone reading this can update the old yearless URL redirect and GitHub page content.
I like 7zip except for one thing, you cannot redirect it to stdout, or I could not find a way of doing that.

7z -something < file.7z | whatever > out.file

Personally, I would use 'xz -9' if I wanted high compression, it works better with UNIX type systems Systems.
FWIW, Chinese vendors absolutely are responsible for the absurd amount of garbage they put up for sale on Aliexpress (if you order directly, there aren't even dropshippers involved). But that's a relatively recent development.
According to this source [1], as of 2019 GE and Safran’s joint venture (CFM) have a 39% share of the commercial engine market, and GE by themselves a further 16%. They have Pratt and Whitney at 35% and RR at 12%.

I’m not sure what their source is but it says this is the commercial market, excluding military and private aviation.

1. https://www.statista.com/statistics/1099835/global-aircraft-...
They’re underpowered devices with almost no RAM, being asked to push traffic for ever faster internet connections. It’s a miracle consumer grade routers as well as they do.
Ask HN: Recommendations for a free/cheap website builder with form collections
I'm looking to start a new business and I'm looking for a super simple UX type site development product. Talking a place to explain the business and a form to collect data for when we launch.

Any thoughts? Relatively new to all this so any input is welcomed.
It's actually not too bad in my case. All in all not that many minutes of pre-emptive effort even across a whole year. The hassle of a surprise Internet outage and having to find what/where the problem is would cost me more.
Under a whole bunch of assumptions.
As opposed to the device automatically downloading an update, installing, and bricking my device? Yes, because I can plan for it if things go wrong.

Depends a lot on the use case, though.
Ireland was one of the signatories to Yellands global minimum Corp tax of 15%.

Yeah being at 15% sucks compared to where other european companies sit, but the race to the bottom got cut off. it's a win
https://github.com/ggerganov/llama.cpp

https://huggingface.co/mosaicml/mpt-7b
3Blue1Brown and Ben Eater Podcast
Did you know that Grant Sanderson(3blue1Brown), Ben Eater, Ben Stenhaug all have a podcast together? I heard of Ben Eater and 3blue1Brown through YouTube but they seem to be connected through Khan Academy somehow.

Crazy how the future of education started at Khan Academy.
I like where they're going, but I think the model is too simple. There's no "a user". Software is a response to populations of users.

An MVP is always focused on a very specific audience, the early adopters for it. It can be minimal because it's for a group of highly motivated people eager to solve a specific problem. They tend to be both experts (in the specific problem space) and explorers (in their willingness to try things out).

By the time a product has spent a few years growing, it is often addressing the needs of a much broader set of users, which presents a much bigger UI challenge. But it's not just a UI challenge. Take film/video editing, for example. The original film editors were all using physical gear to splice actual film together. [1] The initial target for computer-based video editors was those same expert film editors. One of those editors who made the switch pointed out that people knew they didn't know how to use his complicated set of physical tools, but assumed that since it was on a computer, they too could edit film. [2]

That wasn't the case, though. If you want to go from addressing the population of "expert film editor" to "person who wants to be come an expert film editor" it's a radically different problem. A very valid solution to that is keeping the interface as is and saying "go take a class".

Then you also have populations like "person who doesn't want to become an expert editor but wants to share a tolerable video of Bobby's first birthday". That's an argument not for a modal interface, but for a tool built for that audience and no other. Maybe it's a cut-down version of the expert one. But just as likely as it's something that does not work with a pro editor's mental model at all, but with that of the existing user.

[1] See, e.g., https://www.youtube.com/watch?v=0V8k6qMpv7E and https://en.wikipedia.org/wiki/Steenbeck

[2] first video here, https://www.adapttvhistory.org.uk/post-production/post-produ...
Can you do cross-platform builds on it with buildx on M1 yet? What's the story around shared volumes? How about local registry running? Will it work with DB test containers in Java? How about Java clients that use the docker socket, like maven's docker plugin?
The case GP is talking about is (say) having subtitles in Chinese characters (in Mandarin), which can be read by people who speak Hokkien or Cantonese; or having street signs in Hong Kong written in "Written Cantonese", which can be read by people from Beijing.

The answer to the question, "How does someone from Beijing understand someone speaking Cantonese?" is generally, "They don't."
Isn't GE & Safran the leading engine manufacturer? Considering the CFM56 is used by both the A32x and 737.
10% from engines helps in multiple ways.

Suppose you want to reduce carbon emissions by 50% but SAE cost 40% more. Replacing half your fuel with SAE = 0.5 * 140% + 0.5 * 100% = fuel costs go up by 20% and ticket prices go up by half that or 10%.

If instead you reduce total fuel need by 10%. 10% engines + 40% SAE + 50% normal = 50% carbon savings. But you’re paying 0.1 * 0% + 0.4 * 140% + 0.5 * 100% = 6% more on fuel and ticket prices only go up 3%.

On top of that you don’t need to carry as much fuel which further increases efficiency or let’s you increase cargo capacity.
At the end of the day it's a movement to get rid of objective standards of education. While the article points out good reasons why grading is flawed, it completely fails to take in to account how bad the alternative is. Evaluating achievement based on subjective considerations, means that actual levels of knowledge is no longer important. This is objectively absurd for numerous reasons. Most tellingly is that, from what in can see, mathematics is a particular target for those calling for educational reform.
In fact the sources quoted in the article disregard the imparting of knowledge to students as the primary goal of university. Rather they say it's to foster learning. While this is a nice ideal to have, it's simply not true.

So what's really going on? While the article uses carefully couched phrases, reading between the lines i think the actual motivation is the drive towards "equality". These misguided social reformers are responding to a disparity in educational outcome, not by improving the quality of the education, but by manipulating the results so that everyone is now "equal".
This is probably not entirely invalidating the result, but the language samples in the dataset seem to be extremely badly translated from english, with unnatural, verbose and grammatically wrong sentences. That would not help with good tokenisation.

For example the english text
> please add milk to the grocery list

Is compared to the french text
> s'il vous plaît ajouter du lait à la liste d' épicerie

But a native would say
> veuillez ajouter du lait à la liste de courses
ServeTheHome has been doing a series on fanless mini desktops that are perfect for the role of router (most don't have WiFi though, you'd need a separate AP).
The new 5G wireless providers are changing this some, at least in urban areas. I’m currently using one and get around 500mbits download rate. Cost is about $25 per month.
My favorite was the "select all" check box.
Look into EPA fish oils for depression
I was not thinking of running heating and cooling at the same time. Simply that if you run a heat pump in reverse, you can use it for cooling. So you should be able to use the same device for heating in winder and cooling in summer. Even portable aircon's do this.

The tricky part here is that you want heating to transfer heat to water, because radiators are much nicer than heated air. These Co2 based heat pumps are good because they can heat to a higher temperature which is necessary if you want to use your existing radiators or your house is difficult to insulate.
But I'm not sure it would work well to use 'radiators' for cooling. Apart from any other reason, you won't want to risk freezing them.
I think the idea of a general preamble that would have the same explanation, every time, is fine? This is literally the boilerplate concept.

The idea is more to break the code into parts you would explain and grok easily. Not every atomic part of the code.
What higher end products did Apple move away from it on? Macs never had proprietary connectors again to my knowledge once they dropped FireWire (which technically was an open standard iirc). Apple dropped lightning from iPads but I think that has less to do with moving away and more that iPad volume is relatively small, MFI is not as important in its product segment, it requires high charging rates that lightning probably can’t support, iPad/Mac convergence is a thing and they want to make the charging story between those two compelling (eg connecting your iPhone to your iPad to charge). I seriously doubt Apple dropped iPad because it wants to move away from lightning.

Also, Apple has easily shipped many billions of units with lightning connectors and dominates the profit margin of selling a smart phone. I think that qualifies as “mass adoption” regardless and they very intentionally control the lightning standard. I’m sure there’s many competitors who would haven chosen it over usbc before it became so ubiquitous if they could.
This is like every possible language war trope stitched together into a narrative.
> Even if it turns out (once this event has been fully understood) that the vendor-installed firmware "phoned home" to collect an update of sorts that led to this?

I have auto-updates disabled.
Different things, surely? Seconds to half mile is a measure of (average) acceleration; we’re starting from a standstill. To get the speed after x seconds you need to know the acceleration curve and integrate; knowing the average acceleration is not enough. Kph or mph are measures of (instantaneous or sustained or average) speed and do not tell anything about acceleration.
These redirects are cute, but how can we be sure that the domain is owned by the same people as 7-zip.org? I can imagine an attack scenario where someone with malicious intent registers seven.zip, initially sets it up to redirect 7-zip.org. People start using this new URL and then after a while seven.zip starts to host a mirror of 7-zip.org with a malicious installer.

Not trying to accuse anybody, just wondering.
I'm not sure how they're implementing this. If they're replacing something low-level there's advantages to sharing the higher level SQLite code. No subtle incompatibilities depending on how you run it, less code duplication. Plus this makes it easy for a user to pick which way the data is stored in a config file or something.
Not sure about that. It gets looked down on in some subgroups. I've seen it here: "You shouldn't have kids because global warming". The more you are exposed to those subgroups, the more you perceive that it's looked down on, because the more you hear it being looked down on.
Are there planets hurtling through interstellar or even intergalactic space?
No. Although I'm a Texan, it'll probably happen anyway if it hasn't already and my vote doesn't matter. I don't want the government deciding what software I'm allowed to use and what forms of speech and entertainment I'm allowed to expose myself to.

And I notice none of these conservatives are talking about banning Twitter anymore - which is far more psychologically manipulative than TikTok - now that one of their own has taken it over to push as much right-wing propaganda on it as possible, just to hassle the "woke hivemind."

I'm fine with app stores making the decision on their own but I prefer to not throw the entire framework of free speech out the window just because stoking fear of the "red menace" still works in the US.
Is this John Petrucci, the guitarist of Dream Theater?
> Karina Gasparova also claimed that when Alexander Goulandris renamed a work file with his initials 'ajg' it was an abbreviation of "A Jumbo Genital"

This is apparently a crazy person, I'm not sure how it got covered as a story.
Don't put it past Musk to go full triple parens. He's blasted through every other milestone on the red pill journey.
It would be a pretty rough deal for people relying on text-to-speech if that were the case.
You can check out the list of fines here: https://www.enforcementtracker.com/

If you took the top, single fine for one American company (Amazon). It is alone more than the sum of all domestic fines in all EU member states put together.
And this article as written 15 years ago! It's absolutely insane what has been accomplished in the last 30 years, wow.
Engineer's Job is to carry out product's vision as faithfully as possible. Yes, can give suggestions and dispute things but engineers can't drive 100% of the product's function and if they can, what's point of having a separate function of product managers.
Brickadia Devlog #4 – Fast Collisions for Large Editable Vehicles
Typically these messages are not encrypted. This is a late 80's spec based on a 70's era EDI spec.

IMHO, when these messages are transmitted outside the hospital typically a VPN used. There is a spec for posting these messages to an web service over HTTPS but I haven't seen it in use.
> When it comes to network equipment I would value control and security over that sort of convenience any day.

That's great for people who are into opsec as a hobby. But with the proverbial Aunt Millie I want auto-updates so they're patched.

Asus allows the option of having auto-updates enabled or disabled (forget which is the default).
The style issue shellcheck reports here is probably what we both suspect it is.

The call to echo has a likely purpose is to trim some spaces from a string, but it's not at all obvious why this is done or what the benefit is. In the best case, it leaves the reader pondering this weird semi-no-op.

If you think shellcheck, and probably most readers, is wrong in this assertion, just speak your mind and let's learn from one another. But I certainly can't guess your intention here.
You can experience depression as being chronically super sad
Yeah, it's quite clearly wrong when you realize that the batteries would never be able to deliver 50GWh in the first place.
Yeah. Doing at firmware-level this Regex-stack-tracking of multiple but separate data streams requires some CPU assist for this "halting" problem.
See https://info.nrao.edu/computing/guide/file-access-and-archiv...

-so Write data to StdOut

and...

-si Read data from StdIn
As a doctor, Epic is mediocre software that just happens to be less mediocre than most of the alternatives.

My biggest problem with Epic is that things are so heavily silo'ed by your job description (RN, MD, PharmD, etc.) and job context (without getting too deep into the weeds, it is a fact that the Epic implementation at my hospital does not allow anyone other than anesthesia personnel to see an intraoperative anesthetic record - not even the surgeon who performed the surgery (!); and that certain contexts do not allow a nurse who is running the schedule in one area to edit their case status board, which is a view of all cases in that area that allows them to see what's been done, what's left to be done, etc., - but if they switch context, they can change things, make their own boards, and then change back to the "proper" one and use the ones they've made).
>It's a great write-up indeed. It's just unfortunate that anything that requires people to do more than "switch a toggle" on Nginx configs will probably not see huge adoption without significant advocacy effort.

My guess is debugging this would be more complicated than other approaches. It's very nice they got around slow backend queries, but I wonder if this same level of effort could be applied to fix that problem too.
For comparison FreeRTOS[0] is, at minimum, about 9000 LOC[1] at least according to the article (I don't know when it was written), so 2000 lines is indeed pretty small.

[0]: https://www.freertos.org/
[1]: https://aosabook.org/en/v2/freertos.html
3D “digital twin” showcases wreck of Titanic in unprecedented detail
It was an amazing exhibition, I hope the experience of seeing multiple prints of the same work together like that comes along again some day, even if I don’t get a chance myself, it’s just amazing to see with your own eyes.

More info seems to still be online https://www.ngv.vic.gov.au/exhibition/hokusai/ including the complete exhibit label list detailing everything that was on display, https://www.ngv.vic.gov.au/wp-content/uploads/2016/09/Hokusa...

It was the first time I’d been able to see so much of his work presented together. I had seen several pieces in various collections at museums and galleries, but this was something else, to see all of it together like this, to be able to walk through the exhibition and see his famous series together at the same, the waterfalls, the bridges, and what I’m pretty sure was the entire set of the Thirty Six views of Mt Fuji (id have to re-examine the entire label listing to be sure) … all together so close you can see the skill with which even though the different printings and reprintings have subtle changes, he crafted the artworks with such skill that they just look right together despite the obvious and not so obvious imperfections that clearly mark them as being copies or copies of copies.
I apologise, I think I actually meant to reply the the parent above you.

I was intending to criticise the implied premise that the problem with filing is that tax code is too complex, when its very possible in other complex tax justidictions to automate all of this away for most citizens (esp when the standard deductible is sufficient for almost everyone). There is evidence that its already possible to automate most of this away in the US because the data collection and calculation is already happening for most simple cases.

I know this because I'm a dual citizen and I am constantly shocked at how terrible the IRS is and how relatively pleasant HMRC is.

I just took it as non-sequitur to promote some other policy bug bear.
dangerously fast, this shouldn't be legal. if you were to build a drag racing car to those speeds you'd need a cage certified to 7.50s, something like this https://cdn.shopify.com/s/files/1/0362/8420/3141/products/25...
They all have bows.

Bow ties.
Hunting bows.
And people bowing.
FYI: OpenWRT is just Linux and will run fine on x86 hardware as well.
Nice, it has Catch Potato on it!

https://imslp.org/wiki/File:PMLP1079721-catch_potato_1.pdf
> AI based companies just won’t do business in the EU

They probably will. It’s a huge and lucrative economic bloc. But they won’t be started there, or if they are, will be stunted by the fixed costs of compliance. For all the problems with our political process, America is good about exempting start-ups and small businesses from certain regulation.
I know some people that got dogs (and kept them thankfully). Having someone in your life who's consistently happy to be in your presence is a pretty good antidepressant.
I migrated back to X11 for color management and have followed the Wayland issue for it on the Freedesktop GitLab forge for years so this is great to see.

Now if only Steam would support 10-bit color instead of crashing on launch.
Well depending on how you roll, I've had 2 routers - inside/outside. Guest network, IoTs, etc on the outside. Computers, Phones, Printers on the inside. Don't currently - but I also don't have many IoTs currently. Will probably return to this at some point but moved and haven't went out of my way to set it up "fancy" like.

But realistically, it's definitely better for the "masses" to have stuff that just takes care of itself. Grandma don't know how to update router firmware and people like that are why stuff like Apple's "appliance" model is better than Androids more hands on approach.
Are you sure you are using an official OpenWrt image? Stable is still 5.10 and Snapshot (master branch) is 5.15.

6.x kernel is not expected to land anytime soon (late this year or early next year maybe?)

If you have a 6.x kernel, this is probably a fork of OpenWrt.
This makes no sense. If you didn't earn them, then what does 'earn' mean? Other people cannot earn something for you.
I think NanoPi devices are neat little things. R4s has openwrt support, the newer r5s/r6s are still in progress but I'd expect them to get supported sooner or later. You can probably already find patches floating around for them.
How Fred Schott built two OSS projects with 20k+ GitHub stars
Maybe the GP assumed 410km/sec instead of 410kph.
>GDPR only comes into effect when the data is stored locally right?

It applies to EU citizens globally. If you store data on EU citizens -- you're expected to comply with GDPR. This will be ineffective for small companies in the US or China but nearly all large companies will have a presence in the EU.
Often thought about designing a print magazine with the same values as a web publication:

* Agree to all sorts of scary things to take off the plastic wrapping

* Peel off multiple big stickers on every page

* Big heavy adverts that overlap the content and weigh pages down

* Built-in Tile/Airtag to track location

* Chumboxes for other magazines at the bottom of each article

...etc
Oh, I know that one. It comes built-in as an easter egg in uBlock Origin - you can open it by clicking the big "Power" button that shows after you click the uBO logo in the browser toolbar.
This has a lot to do with the construction layout and materials used.

Thus, in older houses, WiFi signal may not be great, and brick walls will make wiring the house an absolute pain.

I have seen some people dropping wire outside of the house, which is not great either (surges can and will happen).
Comparing comprehension of a long text read in print book and on Kindle (2019)
That's cool, but I feel like .zip might get caught by spam protection so not the best choice for sending in discord/email/chat etc

Speaking of domain names, what is the best option for the cheapest possible domain tld (including renewal), maybe something you can even get for 10 years and save a ton? Also would be nice if it had free whois? Extension doesn't matter as this would be for personal use. Is it still xyz or ovh?
Steam Client Beta Fixes Nvidia HiDPI Scaling, GPU Hardware Acceleration
I just have to say the the entire Hokusai exhibition currently on view at MFA Boston[0] is very very cool. Great Wave is on display (as shown on this site), but the dozens of other prints (From Hokusai, Hiroshige, and others) are just incredible.

0: https://www.mfa.org/exhibition/hokusai-inspiration-and-influ...
Ok, so employers won’t hire from these colleges then. This is only going to benefit wealthy kids who have the luxury of paying for a degree that won’t enable them get a job.
Oh the irony of examples of bad UI being posted on twitter where I just get half a UI loading with spinners and can't see anything.
The real answer is that trust isn't needed, because you just shouldn't use it.

You know that 7-zip.org is the official site. You see that's where you end up after the redirect. Just bookmark and use that. No reason to add more steps.
Freedom of speech is recognized as a universal human right throughout the world, and American political philosophy considers many rights mentioned in the Constitution as applying universally as well.
So basically, China is running a loan shark operation.