skysight-inc/HackerNews huggingface dataset:
Ask HN: Issue Tracking as Code?
I wonder if issues can be manipulated in a more structured way.

Superficially issues seem similar to imperative functions. And it should be possible to navigate them using an IDE-like UI.

Basically a programming language where the lowest level instruction is Markdown interpreted by a human.

What's the closest thing that exists?

Crossposted to /r/ProgrammingLanguages: https://www.reddit.com/r/ProgrammingLanguages/comments/hdu3vb/issue_tracking_as_code/
I think fosstodon.org is trying to be a social network for tech people, but it federates a lot of non tech stuff, so it's a mixed bag in that regard. I recently joined it so still figuring it out, social media isn't my strong suit.
To be fair isn’t this probably the case with just about every laptop? Kit it out with some crazy totally impractical cooling setup and you can squeeze out a bit more performance. Even after all the craziness they edged out enough performer to detect it on a stress test but probably not enough to materially impact user experience.

This video sort of misses the point that real-world design is balancing multiple factors, not just over-optimizing one factor at the cost of others.

People don’t buy a MacBook Air because their looking for the fastest processor performance processor. That’s not the point of the product or the market it’s made for.
I'm all for people controlling their data and being fully informed of how it's being used, but I just don't understand the idea that you should be paid for the data that you give to companies when you choose to use their products.

The payment that you get is the products. You don't get a check from Google, but you get to use Google, which is an incredibly useful tool.

I like Yang, but I think he's barking up the wrong tree. We should be focused on giving people control over their data and awareness of how it's being used so they can make informed decisions, not insisting they get paid for it.
Given that today's HPC architectures are mostly power constrained, and a majority of the FLOPS often come from GPUs (for their flop/watt ratios), this direction is not surprising.

ARM has been making major strides in the high performance area. The new AWS Graviton processors are pretty nice from what I have heard. And then there's the ARM in Mac. Yup and Julia will run on all of these!

While I say all of this, I should also point out that the top500 benchmark pretty much is not representative of most real-life workloads, and is largely based on your ability to solve the largest dense linear solve you possibly can - something almost no real application does.

(The website is down, so I haven't been able to look at the specs of the actual machine).
For super long trips, efficiency is king. Coupled with the ability to ability to burn continuously, solar-electric and nuclear-electric are way more efficient than nuclear-thermal. Ion engines may have low thrust -- just use a lot of them.

Nuclear-thermal's Achilles heel is that you can't use it to boost off Earth. So you need a high thrust chemical engine to get it into space. It's hard to make the numbers work -- nuclear-thermal may be more efficient than that chemical engine, but it's dead mass while you're boosting it out of the Earth's gravity well. If instead you can use the same chemical engine to get to Mars that you used to boost yourself out of Earth, you don't have that dead mass. If you want to get to Mars fast, just boost some extra fuel on an extra ship.

Nuclear-thermal looks nice on paper; it's probably the highest efficiency high thrust engine that's achievable with today's materials. But it's hard to find a good use case for it. A manned Earth->Mars run used to be it; but SpaceX's plan for in-space-refueling shortens the trip time just as much, if not more.
So I had to refresh myself on the details of this via wikipedia, and with a 2020 eye it seems almost like the white version of complaints about police brutality per BLM.

- victim becomes a martyr despite being "no angel" (Weaver was a white supremacist, dealing in illegal firearms)

- initial involvement of law enforcement is entrapment (undercover ATF agents)

- lies by law enforcement ("the ATF filed the gun charges in June 1990. It claimed that Weaver was a bank robber with criminal convictions.[27] (Those claims were false: at that time Weaver had no criminal record. The 1995 Senate investigation found: "Weaver was not a suspect in any bank robberies.")

- basic cockups (court date mixup)

- absurdly long quasi-siege

- significantly lighter treatment and more investigation than similar fiascoes for nonwhite people (e.g. Breonna Taylor); the 2020 version of this would probably have just been to drive a MRAP through the shack and use the return fire as sufficient justification for the killings (see e.g. https://www.forbes.com/sites/erikkain/2011/08/31/actor-steve... )

- they shot the dog. They always shoot the dog

- attempt to prosecute sniper is met with sovereign immunity, case is dropped
But for comparison of workers/environment it’s not accurate to simply consider the effects of coffee, we need to consider the effects of the alternate to coffee.

For the case of drinking coffee it’s easier but still a bit tricky. For workers and the environment I think that gets very hard but we should be trying to quantify it anyway.

In the absence of coffee, How are they earning a living? Admittedly coffee provides a meager living for the people doing the growing, but what replaces it and are they worse or better off. I honestly don’t have a good idea.
> or that they just bide their time until they can make a whole new set of restaurants under a different brand name like McDonald's Green or something?

Would be fascinating if they did something like that. Pret a Manger did this recently by adding stores called Veggie Pret. Might be tough for McDonald’s to pull that off, though, since they also cater a lot to kids. By introducing two stores, veggie vs non-veggie, wonder if that would create signaling issues of healthiness with audiences?
From the Wikipedia article:

Caffeine is moderately soluble in water at room temperature (2 g/100 mL), but very soluble in boiling water (66 g/100 mL).

Caffeine is 33 times more soluble in hot water!

What matters more, then, is the concentration of coffee grounds to water, and how much of that water is left in the grounds.
I spent the past weekend setting up a VPS for a personal project, and Caddy worked wonderfully well. All I needed was HTTPS for a server, and a two line Caddyfile gave me that:

<domain>

reverse_proxy localhost:8000
i don't see why that even matters? so what if the accepted answer is not the highest voted answer. when i look at a problem it's not always the accepted answer that solves my similar problem. i'll look at the top voted answers, and others too.
those are just guides where to start looking
Right, but that's not what I'm saying. Whether or not the added network quality offers a tangible benefit to most customers isn't relevant to how it is priced. You, as the customer, need to make that call.

The reality is, their networks are fundamentally and significantly higher quality, which makes them far more expensive. But, maybe most people don't need higher quality networks, and should not be paying the AWS cost.
Diversifying police forces does not fix the problem. It's what the police do not who does it. Black individuals can participate in Black oppression. I will not elaborate on the point because it's not my place. I will just refer you to great thinkers like James Baldwin as I mentioned elsewhere in the thread.
I can't help but think that the top minds from Cyrix aren't feeling both smug at the vindication and dismayed that they were just a little too ahead of the curve.

The writing was on the wall that RISC would win, but the x86 juggernaut appeared unbeatable.
Except that within the memory of people still alive to witness it, it killed approximately 6 million people in concentration camps...?
This is a complex scientific way of saying "coffee is a vegetable."

Let's hope politicians with influence over school lunch menus don't misuse this result.
> I don't think indie & VR gimmicks are the solution to lack of games that are close to the original Deus Ex.

I don't think flatly calling all indie and VR games as "gimmicks" does justice to some of the more innovative creators out there.

> * It's not revered for original superb mechanics; most of everything it does was done before. It's that it put them all together and did so many things right to create a polished, immersive experience with a compelling story (rather footed in reality as opposed to all out scifi/fantasy), strong plot focus (as opposed to disconnected mass-produced side quests), rich level design, lots of choice and player freedom, great music, replay value..*

I was gaming back then as well. It was mostly the mechanics people seemed to talk about at the time (and the graphics too).

In any case, story driven games have existed long before Deus Ex and still exist now.

> I just don't see anything that really compels me. Stuff is going on, and it's mostly not worth my time (or does a terrible job marketing itself).

I see these kinds of comments all the time and frankly a lot of it is rose tinted glasses. You will naturally favour the games you grew up with. As it was, I grew up with text adventure games and crappy 8-bit conversions of arcade games so as much as I enjoy modern games I'm often still going back to Pac-Man and it's ilk because 3D is too "modern" for me. Like with how people harp on about how cartoons aren't as good as when they were kids, people make the same arguments for computer games too.... but that doesn't mean it is true.
A little bit of docs would help. Not sure what a node is here, and what is mDNS doing.

Seems like the perfect thing for me (I run a stupid dual-traefik setup that does TLS SNI negotiation for me that I want to get rid of), but I can't figure out what is this.
> Enough people share a similar enough concept of justice for another approach to be both possible and pragmatic.

The issue isn't so much in "can you and some number of other people generally agree on what you want", it's in putting that in clear terms into a licence that a judge (or anybody, really) can read and clearly say who is and isn't in violation. And you'll want to do it in such a way that it's not open to interpretation, doesn't hinge on specific words etc, and preferably you'll do it under 100 pages. It is hard.

I believe that even agreement in what exactly you want isn't easy to achieve as the degrees of separation are hard to pin down. Plenty of people will agree to "no using this in drones that bomb people". Drones that only observe while other drones (or human-piloted jets) drop the bombs? Drones that aren't in the area but act as communication relays? A company that builds motors that, among others, are used in one of those drones? A company that builds desks for that drone-motor-company? And is this about all military things, or only those with offensive use, while e.g. a bunker-building company would be okay? What about a shoe manufacturer that sells to the army?

You'll quickly find that the agreement is largest while it's vague and gets smaller while you try to draw clearer lines.

At the same time, the more vague it is, the less will it be used because nobody wants to risk basing their things on something that depends on how a judge in some jurisdiciton understands some term.

It's not always that nobody cares or doesn't want to spend the energy on doing it, sometimes it's just really hard. You're welcome to give it a go, I'm sure all efforts are welcome in the field.
Torx is mechanically superior to hex. I would expect an expensive laptop to have mechanically superior fastenings.

https://rtstools.com/why-torx-bolts-are-better-than-hex-bolt...
That's what led me down this path. Searching the internet for "how much caffeine is in a cup of coffee" leads to the question of "what is a cup?", "how did you brew it?", "what kind of grounds did you use?".
One could start by analyzing if the economic benefit of growing it and the healthcare savings of consuming it actually outweigh the long-term damage of its production. My hypothesis is once you strip away subsidies that allow farmers to clear forest for cultivation and fuel subsidies for shipping it across the ocean or by plane the hidden costs start to add up.
Yes this effects my stomach ulcer. Somedays its good, somedays it fine.
Corona-Warn-App: Add random key padding #609
What's the "fruit juice problem"? At the end of the day, it's a sugary beverage. Why shouldn't it be taxed in the same way as any other sweet drink.
That's me as well, I drink tea at home, coffee at restaurants. Luckily a lot of coffeeshops now make a decent cup of tea as well, especially here in the Northwest.
This is an interesting way of thinking about this. There were definitely a few classes I took that really made an impression on me and changed the way I thought about things. There were also a lot of classes that were highly forgettable.
No interaction is not the same as "fine". See the post about the person who had a whole bottle of gin and some beers but didn't feel the booze until the next morning. A lethal alcohol dose is already dangerously easy to reach.
Well the link is dead. But I am guessing it is from Fujitsu A64FX, a 512 bit SIMD extension for ARM.

Edit: Turns out I was right. May be this link is better.

https://www.anandtech.com/show/15869/new-1-supercomputer-fuj...
Would you please share some additional background and/or support for your comments?
> Yet another instance of electoral result not reflecting popular vote.

That's how the US Presidential election system works according to the Constitution. If you think it should work differently, then propose a Constitutional amendment.
We've used Coyote (https://microsoft.github.io/coyote/) which offers an actor-based programming model, as well as as async/await programming model on top of .NET's Tasks to express the concurrency in our services. Coyote includes a powerful systematic testing and exploration engine which explores the various states your programs can be in and helps you find violations to safety and liveness properties. This gives us the same benefits you get when using a model checker like TLA+ but on our actual production code as opposed to a model of the code. If your services are written in .NET, I seriously recommend taking a deeper look here.
FWIW, I don't believe that any feature explicitly designed to help people come together over differences would be one that would see much use, despite its positive intentions.

It's a well trodden hypothesis that Facebook optimizes for similarities, but I don't know if it's that straightforward.

Something that might be worth considering is what kinds of interactions are enabled by Facebook for any given person—who they are between, what the substance of the interactions are, etc. For example:

- I communicate with my friends, family, and extended network of people I've met over the course of my life (college, work, travel, projects, etc.) with my profile, News Feed, and Messenger

- I buy and sell random products on Marketplace

- I engage with communities of people over shared interests, identity, causes, initiatives, etc. on Groups, with Fundraisers

- I read news and updates from publishers I subscribe to on Pages

- (This list isn't exhaustive, but you see my point...)

In a way, it's a wide ranging social infrastructure—like a digital city. In some of those interactions, you meet people who are similar to you (and you _want_ that). In others, you meet people who you wouldn't ever imagine yourself communicating with, but you've found a context that you share some kind of edge that brings you together. By exposing yourself to people different from yourself on vectors that actually bring you together, you also expose yourself to their perspectives, worldviews, and lives.

Of course, I'm not naive into believing that every person's experience on Facebook mirrors this diverse, multi-faceted exposure to people both similar and different from oneself. For some people, the experience might just be a big reflection and validation of their worst instincts, but this isn't actually as frequent as people think. There _are_ ways to build product that enable people to find an experience that is expansive to their lives instead of constraining of it, and as much as it may not seem to be the case, I do think Facebook consistently moves in that direction as it continues to grow and evolve.
This is another reason why I can't understand anyone who works in software of what is generally thought of as "technology" likes Yang. He does not understand. He likes to talk about "MATH". And while the numbers he uses may work out, I wonder how he acquires those numbers in the first place.

Also, it often seems like he needs "ENGLISH" more than "MATH". Because "technology" is a meaningless word. A carburetor is technology. A ramp is technology. Just about everything is technology in some fashion.

So. We already tax technology, if indirectly, through taxing goods and services.

Then there's the railing against the large targeted-advertising companies (I guess that's what they have most in common). There's technically been a trade already. Our data for their services.

And then there's the fact that he's now doing the thing he's complaining about: data harvesting.

And to top all of that off, the issues you just mentioned. This guy can't even harvest data effectively or efficiently. Or identify people who can. And I'm supposed to trust him to create legislation affecting those companies? Or identify people who can? He has just blatantly demonstrated he does not have those skills.
We have Youtube, and you can go there and watch Bill Buckley make all the same stupid assumptions racists do and have them demolished by James Baldwin.

The problem with modern debates is that they are not honest representations of the subject matter. They are exercises in tactical bullshit, meant to be rapid-fire, points-winning pseudo-arguments instead of constructive, intellectual discussions of the subject matter.
Hijacking DLLs in Windows
Picking a Language for Introductory CS – Why I Don't Like Python
Many of these arguments boil down to "those damn lazy kids these day". Being in a learning focused environment has value. I have a dual CS/History bachelor's degree. The analysis/rhetoric and writing skills that I built with the History side of my education are at least as valuable to me as the CS skillsets.

I'd go back and challenge original implication of the article, that university is absurd, like a CD. Characterizing a CD as absurd is pretty short sighted -- it's the standard buy vs. rent argument. If you've ever followed a sport that has been in the middle of a cable contract dispute, the downside of the stream is obvious -- broadcasting is awesome until it isn't.

I still buy music CDs or iTunes tracks. Access to an unlimited catalog doesn't do much for me, and owning perpetual rights is, to me, a better value, as it is for many things. That doesn't mean that streaming is "bad", just as online learning isn't "bad". But universities aren't obsolete because other options exist.
Tried on a site URL; error Sitemap.xml file is absent or have errors.

I thought this service would explore links and draw site map for me..
You're conflating rate of change with the current number. Yes, crime is dropping but the US is a big outlier in violent crime compared to any other large 1st world country. There are 5.35 murders per 100k in the US. The closest comparable country is Canada at 1.68.
BIND provides DNS that just works. :)
I tried to get a quick overview of the discussed topics. It seems that it is mostly non-technical.
The risk is low but indeed not zero. We can construct a scenario where an operative is capture but which identity is unknown, and five years later the person is still in captivity, and suddenly a leak is announced to be published in which agency get knowledge that the captured person name will be included, and the intelligence agency are for some reason still unable to rescue the person before the article later get published.

There is however a lot of conditions for that to happen, which is why the general claim that a leak could endanger lives should be seen as rare, unlikely, while possible event.

To make a guesstimate, journalist and government official risked more life by the additional traveling by plane and car in order to discuss and publically address the leaked documents of Chelsea Manning than the risk exposed by the leaked documents themselves. The agencies involved was likely competent enough to eliminate all higher risks well before the publication date.

> Furthermore, lives are a pretty low bar

I don't think anyone object to that. Leaks should be seen as having a high risk of disrupting operations and increasing resource costs. I would expect that pulling out operatives, protecting collaborators, replacing operatives, and operations that fails are all very costly. The trade between an informed citizens and costs is something which should be more often discussed in politics. Journalists can sometimes reduce the costs with careful work, but it not a clear cut and sometimes they will make a mistake and sometimes its the government that goes to far in hiding too much information from its citizens.
Right. I haven't read enough to have an informed opinion on the matter. Hopefully someone here has.
Makes the chances of Frankfurt being a Candidate for big companies moving staff from the City even less.

I suspect that Alex in the daily telegraph will be commenting on this shortly.
> I think Norway are currently testing a sugar tax.

We are, but it's got some paradoxical warts: a bag of pure sugar is not affected. Yet a sugar-free(!) soda is. It kind of makes a mockery of an otherwise good idea.
> Sorry. I didn't intend for my comment to read as a corporate-research apologia.

Notwithstanding whether the CoI is declared, that's about all it reads as, to be frank.
Japanese Supercomputer Is Crowned World’s Speediest
The Title IX-Ifcation of American Childhood (2019)
The part where they try to paint "being nice" as a bad thing pretty much tells the kind of discourse this person wants to have.
I worked with some of very first mobile web sites. It was WML and Nokia 7110. While it seems rosy now, it was not that pleasant to work with. Pushing out any meaningful user interaction was painful. It was similar to remote control menus on TVs.

Plus it did not help that the entire device rebooted on a markup parsing errors and such bugs.
But if they did so then they would be in violation of the Waypoint license and then the court wouldn't uphold the contract because it violated the law. It would also indicate bad faith so the judge would make them pay costs and more.
Can any of the HPC experts shed some light on how these ARM chips are better than their predecessors. I toured a small cluster in LANL, where the ARM chips ran the hottest and their cooling was the loudest.
University should still be open to everyone. Everyone should, independently from where they are and how rich they are, be able to study on an university if they are capable to do so.

I believe that:

1. the entry barrier is not fair and designed for a very straight funnel you either fit through or not.

2. If you would open up an university even more and you don't allow anyone to missuse it (by sleeping at the university, playing games instead of listing, getting money while attending but not caring for it) it would not have any downsight but might allow one or other mind being part of it.

I also have the feeling that people which were able to go through a bad university, already don't mind it anymore and don't care to optimize because it worked for them. We are not a poor soceity anymore and we have plenty of experience and technology. Its the duty of the university to try to help as many people as possible to learn the stuff you learn at the university. University is being paid by all people.

Its also the reason why OpenAccess should be mandatory.