skysight-inc/HackerNews huggingface dataset:
It's turtles all the way down. Without the secrets monad support in the language, at some point I have to be the one enforcing secrets in multiple places: if I implement checkHmac(secret(str),...) that calls computeHmac(str)->str then I must both "unbox" the secret(str) _and_ "box" the return value of computeHmac.

I can do this, sure, and if I forget then I'll have a security bug. This is similar to the situation with c++ destructors over c's manual malloc+free. If you're happy freeing at every function's end, then this secrets thing adds nothing for you, and that's cool. It's your own choice what language to use.
If there will be another mysterious leak of virus, as it was in late 2019 when there was huge protests in Hong Kong, probably not.
Docker: French guy changed the life of developpers
Original title in French: Docker : comment ce Français a changé la vie de tous les développeurs . Youtube auto translated captions are pretty decent if you do not speak french
The way I read this, there are still EUR 461,406 in salary since the nullified firing to be debated
I hate school because it has the History of %host-country-name%. I do not believe this data can be given honestly, without flag-waving bullshit.
At a place I used to work for, the four day week question was put to the CEO at an all-hands company town hall.

Not a fan of the idea, he scoffed and said something like, ‘I pay you to be at your desk from 9am-5.30pm Monday-Friday. Why should I pay you the same for a day less?’

I don’t think he realised it at the time, but that answer was devastating to company productivity and morale. He’d just demonstrated to everyone that he didn’t value results and all that was important was bums on seats.

People stopped putting in extra effort, waited out their hours as that was all that was required and started brushing up their CVs. I left not long after and so did many others.
Can run as both embedded and server mode. Essentially a re-imagined redis from a general point of view.
Oh the busted processes and contrary incentives abound, with everybody at a defense industry having all the anecdotes you'd care to listen to.

Here's one: an Engineer friend worked on a classified project. It apparently had a rocket thruster. He designed the chassis to withstand the thrust.

Then they wanted 10% more thrust. He'd overdesigned by 15% so signed off on it.

Then they wanted 10% more thrust. No can do! Have to revisit the bracing etc, use different materials, different processes to machine it.

Boss visits, says "You can't obstruct this project! It has to go through without delay. So just sign off."

He didn't. Recalled materials from railroad siding where they were stored pending machining. Changed drawings and processes. Signed it all now that it was correct and safe.

He never got another promotion or raise. Had to quit and work elsewhere.
lispy+lispyville works well for a similar functionality.

I use it on Doom Emacs, which configures everything for me.
> could you really have productive discourse with a person that aligns with those viewpoints?

There is no discourse you can have with a person who believes that LGBTQ+ people have fewer rights than others.

> "a children's cartoon about dinosaurs shouldn't have multiple lesbian make out scenes"

Now that I would like to see. Which one was it?

> "Disney is indoctrinating children"

There's no discourse you can have with someone claiming such a bizarre viewpoint. It's like flat earthers.
That'll be all the racists coming back from Parler...
That's a nonsensical reply.

For starters; No-one would be sacked for refusing to work in conditions which contravened H&S regs --and, if they were, they'd easily win a case for unfair dismissal.

And, in the other situation; joining in with the company drinking games is not part of anyone's job description. So, likewise, anyone dismissed for that 'failing' would have a nailed on 'unfair dismissal' case. Besides. Have you never worked anywhere with muslim colleagues or teetotal ones? I have and quite often they'd come to the pub on a works piss-up for the social element. But stick to alcohol free drinks all night. I never saw anyone trying to force them into having a pint or threatening them with dismissal if they didn't. It's laughably ludicrous.

No. The case I quoted is just another incidence of people failing to take responisibility for their own actions and seeking to excuse their own stupid and quite often horrific criminal behaviour by saying they were only going along with the crowd.
UTF-16 is not the only fiasco. Combining characters are mostly useless overengineering as well, requiring composition, decomposition and normalization forms and leading to exploits like Zalgo text.
40 hours work vs 40 hours office is not the same thing though. Maybe diminishing return starts at 30 hours of work, but still you can benefit from some relaxed schedule at the office.

30 hours work at 40 hours office time vs 30 hours work at 30 hours office time would have different outputs for sure.
This looks very promising. I have one issue and one feature request for your consideration:

1. Could you allow us to change the key bindings? "Alt+Shift+N" is already taken for a feature in my browser and I cannot find a way to choose a different shortcut for creating new notes.
2. It would be very useful if this had a highlighting feature where notes can be attached to highlights. I am thinking of something along the lines of how Kinopio (https://kinopio.club) does things but with highlighting (could also take inspiration from Kinopio and allow notes to be linked together).
Yes I've found it's very frustrating looking for "genuinely zero lead" brass and bronze. Almost all scrap has lead in it to some degree, and even new metal often has a trace.
I've got friends who go into reactive dissociative states. Rarely do they emerge with a new story of self where they've grown through what they triggered around. I'm saying rarely here to account for the fact that while I've never witnessed it, I'm not saying it's impossible.

This is definitely not the case for friends or myself who've experienced ego death, with or without psychedelics.
Christmas is not equally likely to fall on each day of the week
Could be worse: use last-year's spruce/fir preserved using glycerine and/or formaldehyde. Try eco-friendly or self-made decoration from real hay, paper, and wood instead of metal or plastic. Use combustible adhesive to bend into form. Also, use candles from bee's wax instead of parrafin or stearin for extra temperature, flame height, and CO. No risk, no fun ;)
It somehow never occurred to me that - obviously the traditional Christmas lights were candles. Unless the original method was to cut at tree, decorate a still wet one for a day, and then toss it - how did anyone ever consider that a good idea?
OWL's got the tough problem that it is hard to know what it can do and what it can't do. What documentation there is

https://www.w3.org/TR/2012/REC-owl2-direct-semantics-2012121...

tells you how to convert an OWL ontology into a set of first-order logic axioms and presumably an OWL reasoner can do whatever a FOL reasoner could do on those axioms.

Compared to other schema and ontology languages, OWL makes it possible to write an ontology in terms of logical definitions. For instance an "OddLotTrade" could be a "Trade" where the quantity is less than 100.

The trouble is that OWL can't do math in the sense of "compute the body mass index from a person's height and weight and determine that the person is underweight if the BMI is under a threshold." If you have the BMI precomputed it can do that, but you can't define the BMI itself in OWL.

There is a good reason for that which is that FOL + arithmetic is undecidable for reasons Kurt Godel discovered.

You can write "logical definitions" in another sense with production rules, for instance you can match the height and weight and add a fact with the BMI, but you lose the ability the OWL reasoner has to validate the ontology as a whole (e.g. if you have an xⁿ+yⁿ=zⁿ kindof rule you wish it would know that it could never be satisfied but that's a very hard proof.)

That said, the ability to export OWL to FOL means you can use OWL tools to develop and validate an ontology and then add some beyond-OWL stuff to it to do some reasoning.
> They argue that a four-day week would drive companies to improve their productivity, meaning they can create the same output using fewer hours.

The idea that there is a population-wide 25% productivity boost just lying unnoticed on the sidewalk sounds asinine to me. Strong claims require strong evidence and I don’t see it.

That said, I have worked a 4-day week before and it was great, but I took a proportional pay cut and wasn’t expected to somehow become super-productive.

Some more charitable interpretations of why this approach might be great:

* We can afford to take the pay cut and would be happier (and perhaps a little more productive) working fewer hours;

* Companies with a 50-60 hour work week might have pervasive burnout and therefore get a substantial performance boost by decreasing their workload by 20%, with “4-day workweek” being a better coordination point than “only work 9-5”;

* Optionality will be a good perk for employees allowing the small number of companies deploying this to get better employees (this doesn’t work if 4-day is widely adopted).
To be fair to people using 'a/'b-type variables:

1) They are used pervasively in the standard library and its documentation.

2) Due to lifetime subtyping and implicit bounds, descriptive names may be inaccurate. For example, if I have an Ast that contains slices with a lifetime of the source code, I might decide to write Ast<'source>. However, what do I do if I then have a reference to such a thing? Do I add another lifetime parameter, e.g. &'ref Ast<'source>? If I am not going to be returning any of the 'source-lifetime slices, this additional parameter may be redundant. In such a case, do I write &'source Ast<'source> or &'ref Ast<'ref>? Both of those names are incorrect. Do I keep around an extra lifetime parameter to get the correct names (and be more future-proof), or do I just suck it up and use 'a?
A linked list is the simplest data structure there is.

Is a Red-Black tree simpler than a linked list to implement than a linked list in Rust? What about a Fibonacci heap?
Small corrdction, that's 'at will' not 'right to work'. Right to work is about being able to force you to join a union to work at a place.
Oh, man, I’m glad I’m not the only one to think this. It felt like a real article was in there, but the author had copied the stilted, overly verbose style of generated-for-SEO articles. I really hope we’re not entering a world where quality content has to be written in this robotic, repetitive way to ‘work’ online.
It is true. At night a 70-year-old person is basically blind. They can't cope with oncoming headlights because their pupils take seriously minutes to make adjustments that a young eye can make in seconds. Old pupils don't open as wide as young pupils. Old eyes have only half the rod receptors a young eye has. These effects are already noticeable to people at age 50.

The elderly can only drive safely under ideal conditions: sun high, not on the horizon, not at night, in clear weather where nobody is using their headlights.
OpenAI: GPT-4 Rumors
> Even the most trivial singly linked lists....

Uh, a singly linked list is trivial to implement...

struct LinkedListNode<T> {
value: T,
next: Option<Box<LinkedListNode<T>>>,
}

Any data structure where chunks of heap memory are owned by a single pointer (red black trees, singly-linked lists, vectors, deques, circular queues, etc) can be represented easily in safe rust.

Implementing a double-linked list is where things get tricky, as the nodes don't have a singular owner.
It's perfectly usable but you need to wrap a lot of it. If you wrap so long that you can barely make out a thread underneeth you can have a good seal lasting decades even if you don't screw the thread in completely.

On steel pipes and fittings obviously. Plastic ones might crack.

Also hemp fiber requires bit more practice and leverage but it's really good.
"And there's really nothing you can do about it."

Typical neo-liberal ideology: "you can't do anything about capitalism".

Yes, you can. Humans controls AI, not the other way around (at least for now). Join your local communist party, organize to combat capitalism, discuss regulations to AI and corporations, worker ownership over the means of production, etc.

Another capitalist mouthpiece that thinks that AI, capitalism or human misery are natural events, like the rain or wind. There is nothing "inevitable" about this at all, capitalism doesn't grow in trees.
Why? That looks like a guaranteed way to result in an accident for a pretty minor novelty. If nothing else, using leds that look like candles would be less maintenance with the huge upside that they are incredibly unlikely to be able to start a fire.
Hopefully $30 is more of an opening demand / selling point for recruiting members. Otherwise yeah, pricing themselves out of the market...
Awesome! Thanks for the comment
I felt the same reading the article. So much hate towards a single human. There are many ways to express dislike or disagreement with someone or their ideas and management styles without being so explicit and rude about it. It seems like its a badge of honor and prerequisite to say "I hate Elon, ok moving on about Mastodon..." I believe it's possible to dislike someones views and still have common ground and dialog, but I guess I'm in the minority (online) now.
you’re paid to do your job. Being part of your job falls in the _doing the job_. What’s not on the contract is obviously not part of it.

Doing hard drugs, as is alcohol, is not part of any legal contract.

My personal preference is to withdraw from any circumstances that include using hard drugs like alcohol with anyone you do serious work with.
.. in fuzzy situations have a beer and make an excuse, it always works out better.
Alternatively: fun culture should also be inclusive and not limited to taking part in activities that you’re socially forced to do.

For example, alcohol. Alcohol is still culturally dominant, especially in Europe. Does your take mean if you don’t want to drink, you should just keep quitting?
I worked a 4 day week (although technically 33h in 4 days for a 4/37 reduction in base salary) for ~10 years. All for work/life balance due to having a young kid. Two days in the office, two days from home.

Generally it worked ok but not being around one day a week did cause some annoying situations - but that's partly because I moved into a different role that had more responsibility (and that was their doing). I think I made an exception for a meeting on my day off once or twice in all that time, and that was just to make my life easier, everything else was batted back with a flat "no" which was understood after an initial period of grumbling.

Now that child is older I don't need as much flexibility and so I moved company to go full time again. Work life balance is still good thanks to it being a fully remote role.
>it's intensely time-consuming and unproductive.

I think it's this one of the parts that really ticks someone like me off. Most interviewers know almost upfront 10 minutes into into the interview if they are going to reject you, yet they can often drag on for an hour, under the guise of knowing, your 'approach' a problem.
Stay tuned, It's just the beginning of it ;)
I second tackling all analyzer/linter/compiler warnings, but add them to CI and do the test coverage first.

This will allow you to surface metrics (for advocating the cause to management) and make cleaning up the code an ongoing task for technical-debt sprints.
I am coming around more and more to the metaphor that "mastodon is email and activitypub is SMTP". At which point for good or ill verification becomes a server-level problem: see http://blog.archive.org/2022/11/13/we-have-added-a-mastodon-... ; archive.org has a staff-only server, and we'll know if interesting things are afoot if potus@whitehouse.pub or mayor@yourtown.gov or whatever start to exist.
> Ned's spot on.

Definitely. This is a great post that helps explain to technical folks why Mastodon is not (and will never be) a replacement for Twitter, which I say as a Mastodon user and fan. If something has a chance to displace Twitter, it'll need to be as dead-simple to use (like Hive¹).

> The single thing that's kept me from joining/participating in Mastodon is the lack of clarity around which server I "should" join…

If you're looking for an opinionated answer to this question by someone who's just gone through this, for HN readers I can also recommend the instance mentioned in the article: hachyderm.io. There are a lot of tech and otherwise-interesting people there, and it's run by Kris Nóva². Her most recent articles on Medium talk about running an instance as a serious endeavor.

> …if I join someone else's server, how portable is my content/profile - can I export it all/import it all into my account on another server easily, or is that a lot of work, or even not possible at all?

Kris's most recent post, "Experimenting with Federation and Migrating Accounts"³, goes into detail on how this works in practice.

¹ https://techcrunch.com/2022/11/21/twitter-alternative-hive-j... ² SME in Linux kernel security, distributed systems and infrastructure management, and open-source software engineering. https://medium.com/@kris-nova ³ https://medium.com/@kris-nova/experimenting-with-federation-...
He also wrote "Assana" meaning "Asana" I suppose.

> Double-down on tracking discipline and focus (don’t have an Assana yet?)
Forcing someone to share a bed with someone seems like sexual assault?
My primary reason for not setting up Mastodon myself is I don't want to be a content moderator. I am seeing more and more links to content in various Mastodon Servers in one of the more forward thinking Slack groups I remain apart of and think that is a great thing.
Projection. It has nothing to do with his politics, and everything to do with his corrosive and toxic style of management, communication, and planning.
> In any case, the purpose of the article is that most people I know implicitly trust their tax preparer, and they really shouldn't.

"Доверяй, но проверяй" https://en.wikipedia.org/wiki/Trust,_but_verify

Many programmers implicitly trust third-party code in packages and libraries, and they really shouldn't, either.
> They can't cope with oncoming headlights [at night]

One of the reasons I stopped driving 20 years ago (~30) was because I have this problem. Made night driving much more stressful.
CoAP and Lightweight M2M challenges with NAT gateways
"pause the world" usually refers to garbage collectors having to stop all threads, whereas in Rust and C++ allocation/freeing of memory does not have to make any threads other than the current one wait (unless your memory allocator has global locks and multiple threads are trying to use it)
Say Yes to WebStickies :P
Why does it need the use if its already a parameter?
>Poland is exceptionally affordable.

For those on tech wages, which have reached near parity with the west, or work remotely for western companies, yes. But not everyone in Poland earns tech wages.
The problem with carbon capture usually is extracting CO2 from the air and storing it without being emitted again.

Methane pyrolysis uses hardly more energy than steam reforming and leaves solid carbon as a side product. You don't need to concentrate carbon from the atmosphere, that was already done, solid carbon can be stored way more easily than the gas CO2. It has a very limited scale though, as you want to only use waste products for biogas production.
One big thing is Virtual Production, where we shoot video in front of large LED screens showing a 3D scene in Unreal. DMX allows seamless integration of live show control lighting with the lighting in Unreal.
What experimental evidence of quantum gravity is there? I like to argue for theoretical evidence of quantum gravity, but afaik there hasn’t been any experiments to rule out classical GR coupled to a quantum matter sector
Probably something by Martin Kleppmann?
> I don't want to be a content moderator.

If you're the only user on your server, there's no much moderating to do, I find.
Might have to block an instance or remote user now and then but that'd be the same on any instance.
I came to say the same thing. The 10th and 11th paragraphs (each one sentence) say the same thing. And they have the same effect as the title of the second section (immediately following those paragraphs). Each are the same idea of the article title.
That's generally the strategy, but if you're fired without cause then you can collect unemployment. The unemployment insurance premiums can get pretty expensive, so there is a small counterweight to discourage at will firing
Pretty easy to do it with low carb diets. See virtahealth that is FDA approved
You keep attempting to unionize everywhere Amazon attempts to go. No great loss if consumers don’t receive consumer excess via Amazon purchases. And as long as the right to organize is protected by the federal government, there’s no reason to not continue to attempt to exercise those rights in a labor supply constrained macro.
Welcome here! I'm always amazed by your work and have a sweet spot for custom USB devices like the DIP Switch USB stick or the knob box.

One question: is there any way to match such a device to an UI element in Windows, so that a physical knob can change the value of a slider element or a physical gauge showing a value for a software gauge/progress bar?

There used to be tools that allowed to click UI elements in a different program and change properties of these, e.g. setting a disabled UI element to enabled or reading out a value from a password field. That was 20 years ago though, so it might be possible that Windows is separating different programs more strictly these days.
> all kind of useless shit that you will NEVER need in life

Let’s see, looking back:

Anything past basic mathematics,
Chemistry,
Physics,
Physical Science.

In fact, most of the hard science and STEM related classes have turned out to be totally useless in my day to day and professional life.

The things/skills from classes that I have continually utilized:

Public Speaking,
Debate Club,
Professional Writing,
Philosophy,
Logic,
Sociology,
I even attended a single symposium on FBI negotiation tactics.

The older I get the more I come to understand C. West’s position that “the removal of classics is a spiritual catastrophe.”
More ‘importantly’, the 13th of the month is more likely to fall on a Friday than on every other day of the week (https://scienceworld.wolfram.com/astronomy/FridaytheThirteen...)
Well said. I've been on mastodon for about three years now and there a sudden influx of people griping about Twitter on mastodon and it's super annoying.

I’m also finding out that my preferred home server is blocked by a lot of others as I discover and try to follow people I've known on Twitter that just joined mastodon. Fortunately I've got an alt on a server about nobody blocks so new users considering joining somewhere should consider that. Unfortunately there doesn't seem to be many good tools for finding that out.
It's more then that for certain companies and teams. If that's what you want join the team where you _only do the job_. Don't join the team that demands more social bonding and friendship. This guy joined a team where he obviously didn't fit in.

Case in point. In japan the outside of work stuff is a requirement for every job. You literally need to hang out with the entire team after work. This is the opposite extreme. What I'm advocating for is _join a team that fits_.

Don't fucking insist that you're _doing the job_ on a team that obviously wants more.