skysight-inc/HackerNews huggingface dataset:
Still don’t understand why putting plastics into landfills is not considered carbon capture and promoted as more environmentally friendly than risking it being burnt or disposed of in the sea when shipped to developing countries for “recycling”

A single valley in some remote area can easily swallow millions of tonnes of plastic

Expensive, energy utilizing recycling processes seem less environmentally friendly while also leaving more fossil fuel available for combustion use elsewhere
That's a dumb thing to say, because it sounds like striking worked in this situation. By this same all-caps libertarian logic, any strikes would be ineffective because the workers need "The FACTORY" or whatever.

The "university" is a huge collection of thousands of people, numerous competing groups, etc. The grad students can shut the whole thing down if they strike, because they are integral towards research and undergrad education happening.

There's nothing quite like the unfounded confidence that ignorance brings.
> 150k people had to leave their homes because they were not safe.

The fact that they were not safe is disputed.
There are claim that there was some over-reaction and that the evacuation was actually counter-productive.
>graduate students would receive a minimum stipend of $34,000 by October 2024—a raise of $13,000

How do those numbers add up? If a degree costs $100K and a graduate student costs $25K per year, then one person can pay a personally tutoring graduate student for four years to acquire all knowledge. If 10 students pool their money, education costs only $10K.

There needs to be some space to meet and there needs to be a budget for professors but another $10K should cover that easily.

What's the obstacle that prevents students and graduate students and even professors from going back to the beginnings? They can organize their own university where the administration works for them.

There is no need to strike if the university has to match the offer of a competent competitor.

>Universities were generally structured along three types, depending on who paid the teachers. The first type was in Bologna, where students hired and paid for the teachers. [1]

[1] https://en.wikipedia.org/wiki/Medieval_university#Characteri...
Show HN: An analog keyboard with 3D printed switches
I made a 3D printed keyboard with 3D printed switches + stabilizers and sent it to Chyrosran22 for review.

Longer story: Chyros suggested about 5 months ago that I make an "ultra bright" RGB LED keyboard that used my 3D printable Void Switch design (https://github.com/riskable/void_switch) so he could do a fun "RGB" video. I designed the PCB, the case, the top plate, switches, stabilizers, rotary encoders, etc from scratch and the keyboard in the video is the result.

The keyboard hardware was actually done within the first 3 months but I needed some extra time to add lighting effects to the firmware to meet the "fancy RGB" requirement :)

It's actually my 2nd normal-size analog keyboard design. The first being my Riskeyboard 70 which used a MAX7219 LED matrix display and regular (non-XL) ws2812b RGB LEDs: https://gfycat.com/firsthanduniformeasteuropeanshepherd

Not shown in his video: The top plates have no electronics in them which means they're completely waterproof and can be washed in a sink with soap & water: https://gfycat.com/unconsciousvigilantkinglet . Also, the incremental rotary encoder and absolute rotary encoder (aka "the selection knob") are analog as well (using a custom design).

The keycaps were 3D printed as well and designed using my Keycap Playground: https://github.com/riskable/keycap_playground
(I wrote a Python script to generate a full set; a similar script can be found in the `scripts` directory of the repo)

Basically, other than the PCB & magnets (+hardware) the entire keyboard was 3D printed. I'd be happy to answer folks questions about it.
For context, US federal, state, and local tax revenue is around 8.3 Trillion. Spending is higher.

This is about $25,000 of tax per person, or $32,000 if you only count adults.
Maybe I'm missing something here, but I haven't worked anywhere for years that's had a "staging" environment, as least not as this article describes it.

Everywhere I've worked either has spin up environments, a developer issued test environment or various lower testing environments where we can deploy individual features for testing and QA.

But more to the point everywhere I've worked has also combined these lower level testing environments with some kind of pre-production environment which features more data (typically a clone of prod). On this environment often a further layer of tests are ran and new features are manually reviewed one last time before being deployed to production.

Where does a "staging" environment fit in this? Unless I'm miss understanding the article seems to suggest code goes, dev -> staging -> prod, but aside from one developer role I had in the early 00s it's always been, dev -> test env -> pre-prod -> prod.

Is the article suggesting you can just do away with pre-prod environments for "preview" environments? And why would you even want to do that? As I understand it one of the features of a pre-prod environment is that is persists and isn't a clean slate each time. Any mess that can accumulate in prod can accumulate in a pre-prod environment.

I guess I'm not following what this article is advocating for.
Plain ASCII is 7-bit so it won't overflow with signed char. There are many extensions that use that extra bit to increase the number of characters, but they aren't ASCII, they are ISO 8859-*, or ANSI, or UTF-8 etc.
When working with 10,000 VDC, we have setoff barriers (think roped off areas used in bank lines) to keep bodies away from live exposed devices under integration test.

One time, someone was standing just outside the offset area, floor was also yellow-black taped, the test voltage meter started to rise rapidly and I yelled "CLEAR, HOT", that person took a half a step away and watched an explosive fireball go right past where he once stood.

so, yeah. It wasn't my job but it remains a collective safety effort, whether you're a safety officer or not.
Measles outbreak threatens India’s goal to eliminate disease by 2023
In real world trust is not so binary. In a risk assessment I'd be interested evaluating the level of assurance there is in the supply chain of how you get your binaries and artifacts. Some of it can be done using crypto like you say, some of it could be eg published audit reports from a reputable evaluator or other credible information about the processes.
Dolphins may suffer from Alzheimer’s disease, say researchers in Scotland
Urbit – Decentralized Computing Platforms
> when they don't, or the icon is not where they expect it, they are totally stuck

Ah, yes. The reason MS Edge had to start with an E so the icon could still be an e.
A big issue with those numbers is that they are actually trying to clean up even when its very much not cost effective. There's still an exclusion zone around Fukishima even though everyone moving back to where they were would result in a cancer death toll that rounds to zero.

Spending a billion dollars to avoid a radiation caused cancer death is a very poor use of resources given you could save a hundred lives with other causes of death with that amount.
If you deliver notifications, you are always leaking metadata around timing.

A police unit parked outside a guy’s house and confirmed it was him in the real time chatroom, by cutting his internet and seeing him drop off.

If you want real anonymity on the Internet, never use push notifications. Always “pick up your mail” periodically from random endpoints on the Web.
> modern software development teams who need to ship to production multiple times a day

Do not walk; run away from that trashcan bonfire.
I guess I'm just jaded from having to deal with professors who obviously couldn't stand undergrads and did everything in their power to ignore them. Undergrad would be much more effective if it was separated from research.
> Isnt this extremely normal for these types of services?

Yes—but that doesn't mean it should be accepted. It's common at least in part because people don't worry too much about the consequences of disadvantaging the poor and others with comparatively less voice in society. So, when it happens, if possible we should amplify the news of it to make the people in decision-making positions hopefully think twice before allowing such behavior.
Oh knock it off with the “late stage capitalism” crap please. You sound like a college sophomore. We are so close to the beginning of capitalism we have basically not even started. Standards of living have been steadily increasing since the enlightenment and will continue long into the future.
The most effective Fyou skill is the skill to live minimally and avoid copying the spending habits of your peers.
I'm not sure why anyone would think that a less healthy population would reduce the cost of healthcare.
It depends.

At my university, graduate students are state employees, but not standard state employees the way facilities/staff/administrators are. Those groups have a union, benefits, and pension plan, everything is very rigid.

Graduate students are paid a "stipend", required to work 19 hours or less/week, and can't have any other form of state employment that might put them at 20+ hours/week. Total pay comes out to about $18,000/yr before student fees. This is because at that point, the type of employment is considered changed, and benefits have to be provided. The default appointment is for teaching, and doesn't include summer pay (no teaching in the summer).

However, if your group has external funding, you can use that external funding to pay the students, but you can only pay them the default appointment (plus summer). So the wage doesn't change, the students are still paid by the university and are state employees, but the university gets the funds from grant funding, not wherever it comes from for TAing (probably undergrad revenue + state taxes).

The best solution here is state legislature passing legislation to increase what graduate students are paid, take the money out of the tax budget (seriously, 100% of graduate students at my university are below the federal poverty level, which just enables this stupid degrading benefit double-dipping to subsidize salaries), and provide benefits and treatment as standard state employees.

However, universities have been sucking up cheap/slave graduate student labor for years and are completely addicted to it. They have ignored this demographic completely and most state universities cannot function without graduate students. Graduate students do research. Research attracts big researchers who bring in multi-million dollar grants for the NIH and NSF. The schools take 45%-65% off the top of each grant in the form of indirect cost recapture. That heavily subsidizes the schools. Also, high quality researchers brings in more, better undergraduates. All of this while grad students are paid $16k-$30k/yr, mostly without benefits, for extremely highly skilled technical work. When fewer and fewer Americans were going to graduate school in the 80s and 90s, rather than try to make graduate school more enticing, the US simply pivoted to the H1B system. The hilarious thing is many schools claim graduate student tuition is part of their compensation, and that's worth tens of thousands of dollars, but in reality, graduate student tuition is just being in a research lab doing work that benefits the university anyways. Most graduate students in science take 4-6 classes over ~5 years of graduate school - not worth anything close to what universities claim it is. And most grad students still have to pay student fees, while having reduced access to undergrad facilities (no dining hall, no dorms, no gym access at lots of universities, reduced health clinic access, etc).
How to Make the Most of LinkedIn
I suggest to just you to think of proofs in a different way. There are different ways to write a proof. I think proofs are sufficient if you are able to convince your audience.

If you try to convince a theorem prover like Coq you have to be very explicit of all the annoying details otherwise Coq will complain. It's very tedious work and some of the reasons why it's not more commonly used among programmers.

If you write a math paper you can assume that your audience is quite knowledgeable in the domain and you don't have to be very explicit about every detail (readers can fill in the gaps) but you have to be precise in your notation and reasoning. You provide a formal proof that convinces your peers not a rigid machine.

If you write a blog post then informal proofs are very much sufficient, e.g.

0.3333... = 1/3

0.9999... = 3/3 = 1

Is sufficient to convince your audience. You don't have to write down a fully scientific formal proof or Coq program to elaborate your argument in the context of a blog post.
Sort of. Kinda. Maybe.

In my experience, graduate students aren't really that effective at research until several years in to their education. From a productivity standpoint, it is largely a loss. Many would prefer to hire post-docs instead. They end up being not much more expensive after everything else is taken into account, and they are ready to do good work from the get-go (which, for people who's livelihoods depend on getting tenure and/or grant money, is pretty dang important).
MacOS’ KERN_PROCARGS2 sysctl is an exception to this, it is very unintuitive to parse and every single piece of code that tries to parse the results that I’ve found on the internet has been wrong, including those from Apple, Google, and Microsoft. I wound up making a library to do it (https://getargv.narzt.cam/) because apparently people need help.
And surely giving two different products which exist concurrently names which are homonyms or close to it is a terrible idea, right? "EarPods" and "AirPods" sound literally identical in my dialect of English, and they're extremely similar in most.
Yes, I believe it's the case. The French nuclear plants can do some load following. But they are not doing it, because it's more inefficient for a nuclear power plants, and as the nuclear is anyway not 100% of the mix, the load following is done by the other parts of the mix that don't have such problem.

On my mind, the main problem of scaling down production for nuclear plant is that a nuclear plant is very expensive, and if it produces only at submaximal capacity, it means that the construction cost is spread on less electricity production.
Next you’ll tell me they call this nefarious extraction of money “tuition” and all they receive in exchange is an education!
Thanks - yes it might be specific with my location, very possible it's from such a leak. I'm still surprised Gmail is unable to learn about these even though I always report it.
Officer were relieved from their positions not fired in the sense of being removed from the military. It was not a career ending event. In fact the video points out some of them would still have successful careers.

You relieve someone from a position for not winning (and not just not failing). The theory proposed by the video is that relieve culture INCREASES (even if counterintuitively so) the willingness to take risks.

If there is no reward for winning then people will minimize risks. If you make winning necessary for keeping the position, they will be more likely to take risks. (In military context, officers these days, according to the video, care more about minimizing losses and not messing up than actually winning the wars.)

Translating it into civilians contexts might be a bit difficult but one thing that I believe can work well is allowing people to move to different positions to find one that they can be most effective in inside the company.

Like sometimes people get promoted to managers and then it turns out they are actually ill fitted for that position. Firing them might be a waste but just keeping them around will be to the detriment of the people they need to manage. So the solution is that they need to removed. Maybe even take a lower position until a better position can be found.

I think this is main take away: Just like you should not keep around badly performing general as that will cost literally lives you should also not keep around bad managers in a company to the detriment of the people they manage. It is better to pull the plug early, for both sides.
Well, no, since you have two equal masses rotating in opposite directions...

EDIT: Oh, I see what you're saying. I thought you were talking about the oppsite direction: hit brakes, and car turns. You're instead talking about putting a caliper on each disk, and snapping the car left/right. Oh man, that would be fun ^^
Radio Shack Catalog Archive (1939-2011)
NASA Tech Briefs have been maintaining a really high standard on this type of stuff for a long time, in a variety of specialities.

https://www.techbriefs.com/
> Turns out that memcpy() didn’t handle data that was not aligned to a 4 byte boundary correctly in the 32 on 64 case. It took one of our sysadmins a very very long time to find it.

That sounds like an interesting detective story. Did they write it up anywhere?
Olivine is readily abundant in the upper mantle and has similar decarbonizing and deacidifying effects. Theory and pilot programs suggest there's enough to completely offset the world's carbon output with relatively few mines and tropical coastlines.

https://www.vesta.earth/
pre-prod is staging.
Unpaid? Did they not share household income/expenses, and in case of divorce, were entitled to part (half, I believe) of their ex-husband's wealth? In addition to child-support.
At my first real programming job, I found an error in the SQL functions that the company had written. After pointing it out, the CEO bet me that I couldn't fix it. Apparently their best programmers had tried and failed.

I did end up fixing it, but it took me a couple weeks.

Beyond being untestable, it's also hard to version control and roll back if there's a problem. We had some procedures around SQL updates that were kind of a pain because of that.
Yes exactly. There's also stuff about winning some product and shop loyalty programs.
Or to have filesystems that support names with every character but slash and NUL.
Me too, only on a plane
Your comment could be read in two ways. Could you clarify?

1) The UC professor offered a remote postdoc because they did not have enough funding to pay the minimum UC postdoc salary, but could pay less to out of state employees

2) The UC professor offered a remote postdoc because the allowed UC postdoc salary was not sufficient to attract candidates given the area's cost of living
> But more to the point everywhere I've worked has also combined these lower level testing environments with some kind of pre-production environment which features more data (typically a clone of prod). On this environment often a further layer of tests are ran and new features are manually reviewed one last time before being deployed to production.

Sounds like staging to me...
>while the capital sits back and enjoys it's growth

So people should risk their capital for nothing? I'm all for better pay and working conditions but the value from some ventures does not always come from the creativity of the workers. Sometimes it does, sometimes it doesn't so much.
> in 10 years, we all generally stay at hotels where robots vacuum our floors every day, but no one ever makes your bed for you -- that becomes a relic of the past.

There are plenty of people today who can't stay at hotels that make your bed because they can't afford to stay at hotels at all.

By the same token, 100 years ago most people couldn't afford decorative masonry on their homes in NYC. Working class people often lived in crowded, poorly ventilated fire trap tenements that have long since been demolished.
If labour is too cheap there isn't enough incentive to innovate and automate tasks...

And I always wonder why we agree that market price is solution to everything except when it comes to labour...
I think you managed to find your way onto the wrong website somehow. Please take your conspiracy nonsense somewhere else, thank you.
Dex is also an interesting project in this space. It can act as an OIDC provider, but can be extended with other providers via "connectors".

https://dexidp.io/
They will all get deals to avoid trial because nobody in power wants to dig into political donations or possibly even money laundering from US funds that went to Ukraine with some of it stolen and washed through FTX.
On the one hand, as a strong supporter of labor, I absolutely support the students here, striking for better conditions.

On the other hand, when an employee of a private employer strikes, what they are saying is, "We want you to shift more of your profits to the employees than you are now.".

But when a public worker strikes, what they are saying is, "We want you to take away resources from someone else and give it to us.". And that is when things get tricky, because you have to ask who is losing resources so that they can pay the grad students more. Will they take it away from administrative positions? (great!) Or will they hike tuition, essentially taking it from other students (who may not mind since they can get ever bigger federally backed loans which is a whole other problem).

In short, I stand with the students but I don't think there is any good solution here, unless the state can be convinced to increase funding.
Nah, I tried it, and it failed to generate usable code. The level of sophistication and understanding is an inch deep. It will need serious retraining in specialist subjects to be usable. Once that happens, it may indeed replace humans. But until then, most competent humans are safe in their coding jobs.
Agreed. If you, as the interviewer, can't ascertain an applicant's ability to do the job, after chatting with them for an hour or two, you aren't qualified to hire for that position.

The idea that you can pinpoint someone's skill level (and estimate their performance potential) through additional hours-long exams is arrogant. Job performance has more to do with the environment than the incoming skill set.

When it comes to promotions, there was a paper this year that won an Ig Nobel prize, which made the case that promotions are awarded at worse-than-random https://arxiv.org/pdf/1802.07068.pdf
I bit more about the 234th Guards regiment:

https://ww2.dk/new/vdv/234gvpdp.htm

The regiment's home page (in Russian)

https://fnalog-msk.ru/pskov-234-polk-vdv-oficialnyj-sajt-373...
Let's say there is a masseuse. They use their labor to give massages. They are also self employed, so they own their own business. If the cost of labor rises, the masseuse makes more money from giving massages, but this necessarily means that the price of their massages is going up (the cost of labor and the price of the massage are the same thing). Okay, let's take this one step further.

Let's assume that there is a massage parlor, with masseuses who do not own the business, and that the owner of the business has some profit. Cost of labor goes up, and now the business owner no longer has any profit, and it is earned by the masseuses. Yay! However, what happens if/when cost of labor goes up further, and there is no more profit? Prices will rise.

> You keep assuming that business owners can and will just raise prices and the markets will bear it, but this is not always the case.

I think this is my point actually. Markets won't always bear it. Sometimes they will raise their prices and the markets won't bear it, and then the business will no longer exist, and society won't be able to pay for it. E.g., the business of a hotel that makes everyones beds every day, or the business that builds a beautiful NYC building adorned with hand carved stone across the entire facade.
Would you take a job selling fentanyl? If so, than don't you realize that you're making a living on people's misery? That you're not just hurting them but yourself as well?

I think the parent's idea of the death penalty is (Sorry parent) dumb but I don't think that means we should act like there's nothing wrong here.