skysight-inc/HackerNews huggingface dataset:
The writing style is surprisingly enjoyable in several history-related articles. I really appreciate the effort some contributors seem to put into not only the research but also the actual writing. I've definitely found myself reading a big article top-to-bottom like it's a magazine article.
I am not arguing that it is not. I very much agree Next is a product because it very much fits its definition: "an article or substance that is manufactured or refined for sale.".

But this is wrong by definition: "Many types of software are also products, whether they're VC funded or not."
In a democracy you pass laws and those laws are applied uniformly, and again noone can demand that anyone else goes beyond the law.
I think the most correct way to put it is that srpsohrvatski or whatever you want to call it is a pluricentric language with a few mutually intelligible standards the same way German is.

Austrian High German is different from German High German is different from Swiss High German.

For example, Austrians refer to bread rolls as "Semmeln", while Germans call them "Brötchen". Austrians tend to avoid the Preterite in spoken language, while Germans use it pretty frequently etc etc.

"Ich holte mir eine Tüte Brötchen" vs "Ich habe mir ein Sackerl Semmeln geholt", for a practical example.

And yet we consider it the same language.
Without knowing more that sounds correct on their part, i.e. they are not just taking down a website based on your email.

You need a legal claim. A trademark is not that.
It's weird that the Whimsical diagrams don't look... whimsical. I've started using the sketch style on my draw.io and sketchwow diagrams and that magically makes them more engaging somehow. I'm not sure where the difference comes from, but just clicking that checkbox results in comments about both the contents and the style. (Where otherwise I can't tell if anyone's even read them)
It's definitely an article with a massive Tory slant. It doesn't really say why "it was no longer deemed possible for a member of the House of Lords to be prime minister" - because the political winds had been turned by Labour after Churchill, forcing modernity upon Westminster. And it treats Tony Benn as a footnote, when he was arguably the strongest proponent of such arguments even before his father died.

Hogg and Douglas-Home simply rode the coat-tails of a great man for base self-interest, and effectively reneged their commitments a few years later.
Looks like a very interesting paper for everyone trying to test any kind of tool that works on a (functional) language.

Love the Acknowledgement section.
I'm sure you're remarkable enough congratulations for your hard work
They can do either. But they are part of a society and that society has certain rules (and also ways to change them).
King Charles III Signs Off on UK Online Safety Act
I really enjoyed this article. When I draw an architecture diagram, write documentation, code or really do anything at work I take a moment to try to make it look "nice". I can't explain why I do it, I just know when I look at it I like it more.

I've always been slightly concerned it was possibly not the best use of time, but I have never had anyone tell me not to do it.

What I like about the article is that it articulates, in a practical way, how to make something more beautiful, whereas I go by feel.

Thanks for sharing.
Why you should probably be using SQLite
Buyers are too proud of their purchase to dare complain as that would undermine their purchase decision and get them made fun of.
> Plenty of people, at least where I live, don't mind living in condos, as long as these are safe and clean.

And quiet. The biggest problem is noise pollution causing problems. I want to watch my TV or listen to music at an enjoyable level while also not disturbing my neighbors. The problem with the US is the incentives are not aligned to make sound proofing a requirement, making for bad living conditions and bad neighbors.
I been enjoying D2 lang for creating diagrams. It is like mermaid.js but more formatting options and, imo, better syntax. I wrote a small blog post about it: https://victorbjorklund.com/build-diagrams-as-code-with-d2-d...
I was thrown off by you bringing up the law, as it were relevant
My point was that they lived better and more freely in socialist (pre Milosevic) Yugoslavia than in quite litteraly Stalinist Albania.

Ironically the Albanian government in Kosovo now is persuing the same Milosevic-type policies, except against Serbs, by not granting them autonomy [0]. When it comes to nationalists, especially those in the Balkans, it really is same sh*t different flag.

[0] https://en.m.wikipedia.org/wiki/Community_of_Serb_Municipali...
> it sounds more like attempted Acqui-hiring.

Except for the missing “acqui” bit, maybe?

https://en.wikipedia.org/wiki/Acqui-hiring
Vast and increasing. Say 500Tbps when it's deployed, in total, or less, or more. Some of that is US-Fiji, some Fiji-Australia, some Fiji-Tahiti, etc.

They lay a bundle of strands of glass. Each of those is subject to performance increases as coastal equipment improves, but also constrained by the amplifiers on the ocean floor. If a fiber pair runs out of capacity, they can probably boost that by replacing hardware at the ends with newer (and shinier!) hardware. You've seen articles like this every year: https://newatlas.com/telecommunications/data-transmission-fi...
I have never dealt with shaders, so pardon me if it's a very basic question. In a single frame from a game, are shaders essentially all that are being used to draw it?

Or do we have basic shapes like triangles, squares, circles, etc and the shaders go on top of it, drawing shadows, smoothing edges, etc?

From the example, it seems like you can create a shader to draw any object in a scene, and then I imagine you compose other shaders to get shadows and lightning and all of that. In the very limiting experience I had with drawing, I drew shapes but never through shaders. I always thought they didn't draw the objects themselves.
In case you didn't already, if your project is documented with markdown, add ```plantuml blocks to insert your diagrams instead of separate binaries.

In Gitlab they are rendered nicely when visiting the .md file with the web browser. Github doesn't have that functionality yet.
Also you can't just have hundreds of thousands of judges, lawyers and jurors looking at CSAM all day, can you?

Better to have a panel of 10 or 20 carefully selected experts (of course with secret identities to avoid them being threatened by major csam cartels) who will inform all involved parties (including yourself) at how much csam you looked and how bad it was.
Feels like it might be a USB-C vs Lightning thing for Europe. Tesla's standard is clearly superior... is Europe going to bite the bullet and have a painful switchover?

I would guess they'll probably stay with the inferior standard forever.
The big miss here seems to be that not enough data had been seen yet to even know the envelope of what's possible. Without that there will always be inputs where a model breaks down. Disease modeling is also always going to have to contend with the fact that our historical data was collected when things weren't quite what they are today, for instance population numbers and densities are still entering uncharted territory compared to the past.
He is finding Copilot useful to help with the formalisation: https://mathstodon.xyz/@tao/111271244206606941.
There's a bit of The Toolmaker's Dilemma in both woodworking and programming.

You can work on a project, or you can work on a tool to make that project easier. A work-station, a jig, a library, a pod orchestration framework. Sometimes the new thing you've made will make the target project easier; sometimes you go down a rabbit hole and forget the project you were supposed to be working on as you start designing a new language to write a library in to write a database with that would suit your new project a lot better than SQLite.

Open any wood-working magazine, and half the projects are workbenches and shop organization.
Don't forget that if you live in a cooler climate, server heat can offset heating bills if you host at home.
no one was killed in that incident
Maybe Google should build a search engine.
Yeah Michael Levine is the efing king, has many interesting theories and experiments, highly recommend if you are into biology and bio-cybernetics.
Maintainer here. Thought we fixed that. I'll look into it.
Yeah, because Elon Musk is known for financial prudence and not getting into petty fights.
> a detailed breakdown on how normals and dot product work together

Normals point away from faces, straight out from faces. A surface normal is the direction the surface is facing. The dot product of 2 vectors measures how "aligned" they are, indeed, one definition of the dot product is defined in terms of the angle between the two vectors.

Also, remember that the vector opperation (A - B) results in a vector going from B to A. Thus (light_direction - face_center) is a vector from the face to the light, and (light_direction - face_center).dot(face_normal) gives us a numeric value that is higher when the face is pointing towards the light source.

You'll have to look to linear algebra for a deep understanding: https://youtu.be/LyGKycYT2v0?si=lWr38mH34yGRSJpv

I also recommend an informal (but rigorous enough) textbook called "Linear Algebra: Theory, Intuition, Code" which teaches through conversational written explanations, mathematical notation, and code. GPT4 is also quite competent at teaching linear algebra and, in my experience, is able to distinguish between correct and incorrect mathematical proofs; a good textbook is still a better primary source though.
There's nothing wrong with "nationalistic ethnostates", that's just a weird way to say "nation" (ethnicity is fractal).

The problem is the countries that are empires : where non-national ethnicities are subjects. This includes Israel because of its control of Cisjordania and, yes, also the USA (though to be fair, there's hardly anything left of the Native Americans, and as you say, they get the excuse of immaturity).
> I definitely meant the Federation and not Srpska. I haven't dared to show up in Srpska, as I also understand it to be a hotbed of nationalist extremism.

Relax nothing will happen to you.
> I'm a bit uncomfortable about companies being criticised for sticking to the law.

Are you serious? Should you only be allowed to criticise companies (and people?) when they break the law? That would be the end of free speech.

Obeying the law is not synonymous with doing good. The law is the very bottom line, but there's tons of shitty behaviour that's perfectly legal. That doesn't mean it's okay. There are tons of ways in which you can be an asshole without doing anything illegal. You won't go to prison, but people will criticise and avoid you.

Don't make the law your only basis for morality. Laws can be wrong, and they're certainly not enough. Because if you do that, you're basically demanding that every aspect of society be completely legislated, and that's a really bad idea.
Share Bristol – A Library of Things
> If your 'gear acquisition' is getting you in debt, or excessively cluttering your home, you may have a problem.

Hoarding syndrome happens gradually. It may appear normal for a while to an outside observer, until it’s not.

I think the hallmark of problematic collection would be how much someone holds onto a device when physical constraints for their home are met.
Check out Project White Rabbit! https://www.pwr.builders/

I'm supporting the project, and have been using the app+extension to manage all my browser tabs. I've tried all kinds of tools over the years, nothing really stuck. I'm hopeful that this one will – hope it helps you!
The problem with LetsEncrypt is that now your entire internal infrastructure is visible on CT logs, which gives an attacker an easy index to enumerate and scan infrastructure once they have access to your internal systems somehow.
Mermaid and C4 Model gang assemble!
It's not necessarily much less repugnant. The fact that rich people can spend their time doing whatever they want, while a lot of people have to burn themselves out working two jobs to make ends meet, is abhorrent. However, the ability to make ends meet through selling your organs is a line most societies haven't crossed, and I'd prefer to keep it that way to be honest.

And for better or worse, we do tend to see a difference between forcing people to sell their time and forcing people to "sell their body". It's one (among many) reasons why societies tend to look down on prostitution, for example. Prostitution, like paid organ donation, is the kind of thing that I see no issue with people doing voluntarily, but I take issue with systems which "force" people to do it out of desperation.

I think society would be better if we started viewing the selling of one's time more like we currently view the "selling of one's body". I think society would be worse if we started viewing the selling of one's organs more like we currently view the selling of one's time. We want people to labour in order to keep society going, just like we want people to donate kidneys to help people in need, but we don't want an unfair division of labour where an underclass is working 80 hours per week while an upper class has all the free time they could wish for, and we don't want an unfair division of kidney donations where an underclass feels forced to donate their kidneys while the rest of society never even has to think about it.
Amazingly, this article says absolutely nothing about AI-generated imagery. So I guess their plan is to just pretend it doesn't exist.
Apparently not since the 1840’s:

> The Chancellor may in theory deny an application, although the last time this happened was to Viscount Chelsea in 1842. In the debate over expelling the fugitive James Sadleir in 1856, the Government committed to refusing any potential application he would make.

From the Wikipedia article referenced above.
> Nobody thinks of stamp collecting as a problematic hobby.

I do. About any collecting hobby. I view that more as an addiction than a hobby tbh.
I was looking for some programatic way to create sequence diagrams and came across plantuml, but then I realised it sends your data to their servers so, while I can use for my personal projects, not using for company stuff.

Are there any other options to keep sequence diagrams as code and just render it on demand?

Edit: http://blockdiag.com/en/seqdiag/examples.html seems to do what I'm looking for.
The locate or mlocate command does that on Mac/Linux.
Do you regret having devoted so much of your time and energy to the mission of that company?
I have 6 followers and 30 notifications telling me I have 6 followers. It keeps notifying me I have 6 followers… it’s trying to get me to go look.

So no notifications are not indications of people being active.
People can and do demand that - no sure why that is so difficult to understand. And there could be consequences for legal but nasty behavior and those consequences would also not violate any laws. Societies are more than just narrow legalistic machines and checking completely out of broader society is tough/comes with consequences.
You can just download the plantuml.jar and run it with `java -jar planting.jar`, that's how I usually work with it.
Nice feature
Indeed there is: https://www.websequencediagrams.com/
> This this case the employee isn't volunteering.

You mean what Tesla does?

> They can't catch social media surveys?

You conveniently omitted the injury rates.
Direct link:
https://cloud.google.com/blog/products/infrastructure/honomo...
The idea is that tools for all programming languages are accepted. If there's a missing tool, you can contribute by opening a pull request.
Would it be better to not have these at all?
You can deploy a plantuml server internally (so that the rendering is done internally). Just running planuml.jar does not send anything to their servers either, it renders diagrams locally.
It is not cost effective to buy a 3d printer if you 3d print only when you actually need a 3d printed part. That is the main reason. You buy/build a 3d printer only if you want to tinker with them. Otherwise you just commission someone to do it or use the local fablab.
Came here to talk about my Gear Fabrication Syndrome: https://photos.app.goo.gl/wQ6mWkENAgBvWWuy7

... was disappointed :-)
> I still wish we tried harder to heal the "original equipment from the manufacturer" we are all born with

I mean, i don't think its for lack of trying.
This is a complete misunderstanding of what the purpose of a law is and how society works.

Everyone always makes demands that go far above the law. Your legal demand to those around you is "don't murder me, vandalize my things and steal the remains". Your full demand also involves amongst others respectful treatment and consideration, and you don't socialize with those you who treat your poorly even though such treatment was perfectly legal.

The law sets the bar for criminal liability. Society as a whole and its individuals freely set the bar for cooperation. A unionized work force is a social group that has formalized in advance the bar to cooperate with them.
Fair point. Maybe the term engineering has a tradition of being used in contexts that are not associated with hard science. Another example: the term "software engineering" was invented to point out the lack of scientific foundation for programming practices and to motivate the community to fix that.

Or maybe it's just me associating engineering with hard science.
They surely can - thanks, in big part, to the unions. Employers are sticky, working conditions cost money. Left to market mechanisms only, a company with good working conditions doesn't use this as a way to pouch workers from a competitor with bad working condition - instead, the company makes its working conditions even worse, or gets outcompeted.
Another tab management option to check out - https://www.pwr.builders/
I use this regularly, and am also supporting the product's development. Hope you find it useful!
Europe's standard supports 3 phase supply, which is widespread — even in houses in several countries.
Not just traditional car makers though. Didn’t Tesla do something similar by removing radar (against engineers advice) to decrease cost and thereby making self-driving much more unreliable and difficult?
"Prior to the 18th century, serving in Parliament was often regarded as an
obligation to be accepted reluctantly, rather than an honour to be
eagerly sought. Voluntarily relinquishing a seat was not, therefore,
something to be encouraged."

How times have changed. I'm sure a lot of that attitude was just posturing, but still: ambition for power had to be somewhat dressed up in clothes of virtue. Now we've fundamentally dispatched with virtue, and simply put up with the (supposedly) less scummy of the lot.
Would you be happy in a society where everybody lies to you all the time? Lying isn't illegal (except under oath), but it would make for a really shitty society.

You can absolutely expect people to do more than just obey the law. Everybody does. Tesla does not, and that may lead Tesla's employees to use their perfectly legal right to strike. And by your standards, you can't demand that they don't strike, because it's legal.

But it's a shitty basis for a relationship. If Tesla wants its workers to do good work for them, they need to listen to their workers.
The current system highly incentivizes pretending not to know.

Obtaining power at any cost requires the internal director to pretend he doesn't know, what he's doing.

The vast majority of social capital is made by lying to people, pretending to not know you've done it and dropping relationships with anybody who is not pulling in your direction.

Silence is vastly underrated, I say ironically, so I shouldn't be typing this out.
Ilya Sutskever on his hopes and fears for the future of AI
I wonder whether we could combine formal proof checkers (like the Lean proof checker) with language models that generate synthetic conjecture-proof pairs in a formal language like Lean.

The Lean proof checker could be used to automatically verify whether the synthetic proofs written by the language model are correct. This information could be used to provide an RL reward signal applied to the original language model, which would result in it writing better proofs. (Or we train a new model using the correct synthetic proofs of the previous round as training data.) And then the process repeats. So the model would self-train using its synthetic training data, without further human intervention.

We could even make this process more adversarial. First we split the generator language model into two: One which generates conjectures, and one which tries to prove/disprove them in Lean. Then add a predictor model which tries to predict whether a synthetic proof is verified by the Lean proof checker. The lower the predicted probability that the proof will be correct, the more reward gets the proof-generator model if it did indeed provide a correct proof.

Finally, we add another model which tries to predict the reward the proof-generator model will get for a given synthetic conjecture. Then the conjecture-generator model is rewarded for conjectures that are predicted to yield a high reward in the proof-generator model. So conjectures that are neither too hard not too easy for the proof-generator model.

So we would expect that the whole system would progressively create harder and harder synthetic proofs, which in turn allows for better and better self-training of the proof-generator.

It seems this could in principle scale to superhuman ability in generating proofs. The process would be somewhat similar GANs or to self-play in AlphaGo Zero.

I think the hard part is the initial bootstrapping part, to get the whole process off the ground. Because the initial training of the generator models has to be done with human provided training data (Lean proofs). But once the synthetic proofs are good enough, the system would self-train itself automatically.