skysight-inc/HackerNews huggingface dataset:
The literate macro is just standard latex. The command line extraction functions are:

Lisp program to extract latex chunks: https://github.com/daly/axiom/blob/master/books/tangle.lisp

C program to extract latex chunks: https://github.com/daly/axiom/blob/master/books/tanglec.c

Note that the C program is just a hand translation of the Lisp code.

The lisp code has an explanation and the necessary latex macros. The idea is to scan the latex, find each named code 'chunk', and add each one to a hash table. Then the hash table is scanned to dump the requested chunk to stdout. For example:

\begin{chunk}{part1}
code for part 1
\end{chunk}

Ordinary latex code between chunks.

\begin{chunk}{part2}
code for part 2
\end{chunk}

\begin{chunk}{part1}
this code will be appended to the prior chunk
\end{chunk}

\begin{chunk}{getall}
\getchunk{part1}
\getchunk{part2}
\end{chunk}

Assuming the above chunks are in the file foo.tex then

tanglec foo.tex getall >getall.code

will print out the named chunk (getall). For an individual chunk use

tanglec foo.tex part2 >getsome.code
Were they girls though? :P
I was contemplating surgery years ago because the first doctor I went to said if I wanted to get back to the way I was before the injury I had to have surgery. Thankfully the second doctor I went to said, "You can get surgery if you want, but I'm not going to do it for you. Surgery is for fixing things that impact your everyday life. This doesn't impact your everyday life." I was able to get back to the activities I was doing before the injury without surgery. So grateful for that doctor's advice.
I find kotlin easier to use than java and its fully compatible with java.
"It's unsurprising that the UK had better access to vaccines:"

Other countries in Europe have pharma industries, most obviously France. And the mRNA vaccines were partly developed by a German company (BioNTech) so, this doesn't work. It was a surprise and the reason the UK got better access much faster because the EU insisted on doing everything as a single bloc, in a heavily centralized way, and the EU institutions are slow.

"The point about inflation and recession is not that it isn't happening elsewhere: it's just that it's worse in the UK."

As pointed out by makomk, this isn't true.

"The UK has had horrible economic growth for over a decade now, largely driven by a political system that concentrates power in the hands of not particularly competent people"

This talking point is also made up. UK growth has been similar to the EU for the last decade - sometimes a bit higher, sometimes a bit lower. See for yourself:

https://ourworldindata.org/grapher/gdp-per-capita-growth?tab...

If the UK has had "horrible" growth due to "incompetent people" then the same is true of the European Union as a whole.

There's a real problem with pro-EU misinformation here. Both your talking points about economics are completely false. It's not even like Europe is the only place with inflation, the whole world has it right now thanks to the massive money printing that went into lockdowns and other attempts to mitigate COVID. I thought everyone knew that.
On one box you don't have to buy a 15000$ (or two) network switch(es), that's significant, you don't have to pay for N chassis, motherboards, nics, NVMe.

Considering they're really eeking every last bit of juice out of the box, I'm doubtful that distributing it would be cheaper.

Also they're not maxxing the CPU out, they just need memory bandwidth and the Mellanox nics. Storage would be more expensive on more boxes since they can't distribute the storage, they have to use local storage to reach the performance we're after.
I encourage you to go get a copy of the latest hollywood blockbuster, apply your transformation, share it on the internet and see if the courts agree with your copyright hack.
Share buybacks were legal before then. That's how Buffett bought a tiny textile mill called Berkshire Hathaway in the 1960s.

The difference was that they mainly took place in the form of tender offers back then rather than market repurchases.
In filing a lawsuits you make plausible allegations and claims, it is not the place to present evidence.
That's an oddly specific observation to make. Why them in particular?
Chromium now has HEVC HW decoding support
And it's enabled by default since 107

Issue tracker for windows https://bugs.chromium.org/p/chromium/issues/detail?id=128613...

Author of this patchset described their journey all the way from understanding Chromium's decoding process to testing HDR to SDR tone mapping in their blog post https://zhuanlan.zhihu.com/p/541082191. Too bad it's only available in Chinese though.
It is probably based on a meme https://en.wikipedia.org/wiki/It%27s_Over_9000!

They are not over 9k yet but closing.
Getting epidurals (or pain medication in general) is a cultural thing. Just compare with the Netherlands, where home births are fairly common and pain medication is relatively uncommon.
This, together with lichess, allowed me to wasted 50% of my day... \0/
interested that in 1984 the started microcomputer support - that was the same year i started doing that at what is now middlesex university uk - must have been something in the air, though i soon moved up to writing for the dec-10 and vaxen and later the ibm 4381s. best job i've ever had.
I love this, thank you for sharing.
Yeah but I disagreed about your point "Current AI requires far more examples than we do to learn from", since I think you need to count the amount of data that was seen by all your ancesters, maybe even starting from the first self-replicating molecule, billion years ago.
I just quickly loop through them and categorieze chunks of time, just to see how I work. I have iphone as input, put on the table on the right which also captures my posture - I slouch almost all the time.

There is a problem however - I work on mac m1 and obs recordings take full 4 out of 8 cores so actually I am recording only when I notice I am starting to procrastinate. All recordings I remove afterwords to save up space. Obs is turned on all the time though.

I wanted to use obs-ndi to combine output from another laptop, but I have some issues with it so I just record mac atm. I also have powerfull desktop on the side and can ssh between all those by name, but desktop is noisy so it's off most of the time. Also there is raspberry pi with simple script with which I can turn on desktop remotely via Wait On Lan udp packet, dns handled via https://www.noip.com with which my router has an integration, but I actually never used it. I've done this setup to justify purchasing this powerful desktop in the first place :) humble brag, I know.

Here is screenshot of obs recording with sneak peak of my room https://imgur.com/a/m92R7Bx
> UNSOCK_DIR=/tmp/unsockets/ LD_PRELOAD=/usr/local/lib/libunsock.so ...

This teaches people it's OK to use predictable names in /tmp. Don't do that.
Why do you find this offensive?

Wright's key points regarding 'sex realism', as I understand them, are that sex is not a spectrum (as many people are claiming these days) but a male-female binary, and that sex is still an important characteristic in many circumstances, such that it cannot realistically be supplanted by 'gender identity' or similar.

Seems like a reasonable viewpoint to me, and not one that would generally be considered offensive for others to mention.
Yes, you're right. But my point also was that it's not so easy when it's just a few lines, isn't it? Especially since this is an international issue and the definitions of copyrightable work is not easily definable.

> You don’t need any fundamentalism to know that copilot’s output carries huge and untested legal risk. If this lawsuit clears some of this up, that’s a big win for everyone.

I agree with that! I also see this as the only proper takeaway that I think is ok. The rest is making money off this thing. But the US has a different law suit culture anyway, which I find weird.
Oh, the TLD that went down for many hours (more than a day IIRC?) that one time a couple years ago — forcing all the companies like the one I work at, who host their own stuff on .io and use statuspage.io, to really scramble... fun times!

This sounds from the article like a great thing — or I mean, at least a partial righting of a historical injustice — but I am also interested to know: does it have any implications for the .io TLD?
> There are no other homoiconic languages with amazing REPL support

Prolog is pretty good.
That's not the class system, lol.
Docker+WasmEdge: Build, Share, Run WebAssembly Apps Using Docker-A KubeCon Talk
> so slaves worked the plantations on the island before 1838.

Yes, they were freed by the British and compensated in 1833. As they were post removal in 68. 1838 was the year they were working in Chagos on 2 year rolling contracts (as was common for non enslaved people in such businesses prior to 1833).

> so slaves worked the plantations on the island before 1838.

And they were brought there by the british & french mainly. The french & dutch inhabited it first, before any of these people's ancestors.

> and as an aside, what do you mean by Marxist terminology? I didn't see "proletariat" or "bourgeoisie," nor workers seizing the means of production. it's sloppy and lazy to use "Marxism" as a catch-all bogeyman.

Ignoring history by framing everything as a class/exploitation problem rather than looking at what really happened. It's very common to ignore history now and use feelings to assert because someone might have been exploited that overrides reality.
This vehicle will be illegal to sell in big parts of the world and get 0 stars in any crash test.
No ABS or ESP? Can't sell this car in USA, EU, India or China.
E: coming to think of it the only places you might be able to sell this is some low income countries in South America, Africa and maybe central asia?
The infectious disease trap of animal agriculture
I've been back and forth over robinhood vs fidelity vs IBKR for a few years now.

I do not do any heavy day trading, but I do like to buy a few shares of things throughout the day, every day.

As a consequence, the user experience in mobile form factor is a big aspect for me. I understand for any professional in the space, this is perceived as lunacy. I am no professional.

Once IRA support is added, I'll be locked in for life. I don't understand how someone can use the fidelity or IBKR mobile apps and think "yes this is all ok" after spending 5 minutes in the RH app.
ok. I’m invoking Godwin’s law though so won’t be participating.
> Mobile [...] Firefox

… and unfortunately it's not draggable, either.
Twitter thread by the author [1] summarizing the paper

[1] https://twitter.com/matthewhayek/status/1588035116378587137
It doesn't really sound like that bad of an idea, considering tinder's business model of dicking people around. The only problem is getting a bunch of people to do it
Twitter’s mass layoffs have begun
When was the last time Amazon issued new shares to raise funds?

The stock market is a secondary market. You or me buying shares doesn't effect Amazon at all. They don't get a penny of your money when you buy shares
Yeah, that's the idea. There's still people complaining about how their Boomer parents or grandparents are saying stuff exactly like that though, and it's just as realistic and relevant as the idea that online dating is for "losers". Online dating works great (well, better than the alternatives at least) for people who have already exhausted their social circle, which is pretty much everyone who's over the age of 30 and doesn't hang out at bars or have a job that puts them into contact with new dateable people on a regular basis.
I don't know of any reference counting implementations which ever recursively increment counts though, so I don't see how it's an improvement on anything else.
They get raised every time there is an Argentine election or political or economic crisis...
I wonder why this timeline has been upvoted to the front page with no comments.

> 1994 In September a Digital Alpha 2100 server with four processors and 1 gigabyte of memory (known as sable) was installed to replace black as the University's general-purpose Unix server.

> 1996 In June a second Digital Alpha server was installed (known as ermine). This was bought because the load on sable was much greater than had been envisaged.

I remember those. They ran OSF/1. At the time i arrived, sable was for staff and graduate students, and ermine was for undergraduates. In the few years i was there, demand for shell accounts declined to much that they retired ermine, and moved the undergraduates over to sable.

(i might have the two machines the wrong way round)

Around this time, OUCS also operated a modem pool, so users could dial in from their homes over the PSTN. The UK national phone network is mostly run by BT, but there could also be other operators who sort of federated with BT. In Oxford, there was NTL, and the OUCS modem pool was on NTL. I had a BT phone, and OUCS being on NTL made no difference. But i knew some guys in a nerd house who had NTL phone service, and it turned out NTL offered free local calls to other NTL phones. So they just had a modem connection to OUCS running 24/7, connected to a machine on their house network configured as a router. That was the first time i came across always-on internet at home; it seemed scandalously radical.

(i might have misremembered the name of the phone company)
I feel it would be naive to think it will just work itself out through capitalism though, it's worth thinking about what impact it will have and whether or not we need some new policies to help society truly capitalize in social value terms, on automation of everything we can automate. GDP is not a measure of how well your society is doing, and with automation we could skyrocket GDP and absolutely tank social measures of wellbeing.

In other words social reforms around how people earn income, or gain housing, food and necessities, might need to happen as we remove more and more jobs.

I'd like to think that as people are freed up they'll be able to do other jobs, but if we plan to automate everything we possibly can that has to eventually be false. Unless everyone's going to be a creative, and even the commercial side of that is starting to be automated. At my work people are already using AI generated images instead of stock photos, and AI generated jingles instead of stock music.
Speaking of layoffs: Meta needs to layoff 12% because they hired a lot of non-value-add, low-skilled, nontechnical employees just to meet DEI goals. They hangout in vast, empty offices and chat like they're on vacation and have nothing better to do. It's difficult to tell what most people do because they hired way too many people too fast without a clear understanding of how they're supposed to map to building the business. They need to cut 80% of building leases and 50% of CapEx spend too.
Anything that can be automated will be automated. Software engineers are very expensive so the money is there to be made.
So are doctors, accountants etc.

I don't think its feasible but I'm sure people are working towards it. I'd start with healthcare actually because the West is aging rapidly.
Sounds like you're the one who's triggered here, so I guess my comments describe you?
Indeed, I've tried and failed many times to connect my corporate O365 to calendaring/scheduling/task mgmt. apps.

It is a major roadblock for many of us stuck to that product.
Transferring money out is far lower risk than unauthorised account access.

If they transfer money out and it turns out it was fraud they can easily compensate the original account holder by putting the money back in their account and there's little harm done, especially if the sums are small.

If they give unauthorised account access then there's far greater harm including risk they'll get penalised by regulators over data security as well as the damage being potentially hard to undo if further changes are made to the account.
Love your response. Im sure you’re right about all of those details if a strict translation was needed. I just don’t believe it needs to be so strict, and as such that it is not that difficult these days.

Apple’s Rosetta 2 and Valve’s Proton have shown that these kind of emulations can be extremely effective. When you control the OS code, and are willing to be extremely hacky for the medium term, anything is possible.

If I were to lead this effort I’d do:

1. Try my best porting the Win32 APIs, Direct3d, to Linux. I’d convert many of them. Use Office, the Windows window manager, Visual Studio, etc as test suites. This can be deployed to users where there is no performance regression.

2. Update any non-legacy applications to use more of WSL2 especially were incompatible with the new Win32 APIs. eg Office, Electron, Chrome, Visual Studio.

3. Build a binary parser like Rosetta that detects use of any incompatible Windows APIs. Mark these binaries as “legacy” (this parsing only needs to be run once per binary). Run legacy binary processes through a hyper visor and slimmed down snapshot of Windows.

4. Investigate more traspiling of binary code like Rosetta, but for Windows APIs to WSL APIs.

5. Announce it and state the intention to migrate.

Many modern apps are Electron anyways. Actively supported apps will slowly migrate to more performant APIs. Legacy apps were not designed for today's hardware anyways and it would work just fine with a little performance degradation but overall still a performance win compared to when the app was released.
Rainmeter: Desktop Customization Tool for Windows
> it’s saying that the only stories that go through must be critical or uncovering various hidden harms or issues

Speaking outside my circle of competence. But I don't think it's that direct. When a topic is put under an investigative lens, it's assigned investigative journalists.

These aren't folks who write fluff. They don't resonate with baseless optimism. They're men and women of hard facts. So they sniff, sniff, sniff until they find something juicy. Then they write about it. Everything they're writing is true. (It may also flatter. Underdog stories, for example.) But when the beer fridge was swapped with a gin cabinet, the journalism got noticeably darker. No conscious filtering needed.

Now that I think about it, this may also be happening in political journalism. Positive stories are dismissed as shilling. Writers write to be read. So they stop writing those, and instead write darkly.
You could find out by filling a drawer with dry ice and water and trying to open it without the smoke spilling out.

Seems to me a chest fridge is simpler.
If you take a look and analyze the people that were fired, you will find developers who cannot code, people who run Bitcoin nodes on company electricity, people with no skills or qualification for what they do. Elon Musk is trying to implement a meritocracy, it remains to be seen if he will do it right or botch it.
So, I get migraines. Fortunately, only every couple months, and for 3-4 hours, usually. But during that time, it's curled into a ball, muttering, sometimes barfing from pain-level bad. I can suck it up and get basic things done, but I basically present as a crazy person in that time, because all of my mental energy is going into resisting the pain. I have different tricks like either accepting or rejecting the pain, or rolling around in my bed to distract myself from it.

I struggle to explain to other people what that level of pain is like, and often think that while it looks horrible from the outside (and is!), I've been dealing with that level of pain on a regular basis for my whole life, and it's just somehow normalized. I guess what I'd say is it still hurts a lot, but it's not traumatic by any means anymore. I'm just used to it.

I'm curious -- are there folks here who have migraines and some other experience with extreme pain? How do they compare? I was around when both of my kids were born and the description of the level of pain seemed pretty close to what I deal with multiple times a year.
It is 60% of 10k, and 0.0006% of a billion years.
They lost access and knew they got fired over 4 hours before the mails arrived. It's amateur and rushed nothing more. Most big corps at least have the deceny to pretend some services are in maintenance before mass layoffs... but decency and compassion are hard to find on hackernews right now survivorship bias is running hot.
Apple already has excellent external password manager support in iOS and macOS, why do you think they will try to lock that down?
A fascinating graph on why a rewrite if your codebase might be a good idea
The Chagos were part of Mauritius until the UK split it at independence in order to provide a military base to the US and they expelled the inhabitants in the process...
>How do you build and run a "social media" product when the very act of letting anyone respond to anyone with anything is itself the fundamental problem?

That's...that's not a problem.
Maybe because you'd have to go the extra mile to outdo competition and gain a majority market share.

It isn't just the 9-5, but the idea that your job stops when you leave the office. If people see it as a transactional relationship only, it means there's less investment in the product
Hope you can make this happen.
Re‐Entry into Earth’s Atmosphere of Space Debris of Rocket Long March 5B (CZ‐5B)
This seems to imply that the educated man is always right and should not be questioned by others. Regardless of the education level of the questioner (or of the educated man), I can't see that being a good thing.
For anyone interested in lisp I suggest guile. Especially if speed is important. Guile can be interpreted, but it becomes much faster when compiled. The beauty of it is one can mix and match compiled code with interpreted code in the same script/program (usually this is done to run the interpreted code in another security context, allowing it to only do some "stuff" - this is especially useful for software deployments etc) - they call this feature gexp. Of course all this can be done with python too, but IMO such things are ugly/convoluted/complex in python while in guile they are very simple /straightforward).

It is basically a lisp language, but with a "curated" set of standard libraries that do a lot of the stuff one may commonly need in a predictable way.

Documentation is definitely not ideal, but it exists and there is a lot of it. Often one has to look through already written code to figure stuff out, but there is lots of that code in for example guix.

In summary, would I suggest anyone uses guile(or lisp in general) for a commercial project instead of python? In 99% of cases the answer is "definitely no", but does this diminish benefits of learning it? No, too. IMO one almost always benefits from learning new languages as long as the new language introduces new concepts. One gains a wider perspective and who knows, perhaps one day, one is involved in scoping that 1% of commercially written software where one may think, yes guile is the way to go.
If you use SmartTube App (afaik only on TV) it can automatically skip these segments (as well as ads)
Rust is born out of Firefox project. Firefox is now written in rust.
Microsoft produces a service known as "Copilot" which does contain other people's code. That the Copilot network contains other peoples code is not in question since it has been demonstrated to output other people's code and Microsoft even added (very limited) filters to detect if it ooutputs other people's code.
Article title:

> UK agrees to negotiate

Title on HN:

> UK agrees to hand over

title should be changed. Did Guardian update it at their end?
I can see reduced granularity but that seems a touch extreme?

I’d rather google work on all the other info that leaks
Indeed. In popular languages, I always add parens, because I'm second-guessing the parser.

Lisps just embrace the parens :D