skysight-inc/HackerNews huggingface dataset:
> I don't see what the halting problem has to do it.

Is the following code safe?

function_xyz();
let p = 0x1234 as *mut u32;
p.write(5);

It is safe iff function_xyz() does not terminate. To determine whether the code is safe in the general case, the Rust compiler would have to solve the halting problem.

Since that is impossible, the compiler uses a heuristic, which defaults to "not safe". It could use a better heuristic, like "Does function_xyz() contain an infinite loop? If yes, the code is safe." But that's of dubious value.
Also see https://www.bbc.co.uk/programmes/p0686shj
Good maths, a strong bladder and the ability to hold eight '99s' in one hand. Ali Coote remembers the important lessons she learned as an Ice Cream Van driver.
But anti-trust law is vague, and violations are often in the eye of the beholder. A sports game is also the wrong analogy because sports games have very clearly defined rules, specifically to avoid referees picking winners.

Governments are nowhere near that level of rigour or coherency, especially if you look at EU anti-trust. The USA at least requires the government to demonstrate some actual harm to consumers in court. EU anti-trust requires a single bureaucrat to decide that competitors were harmed, and they can then levy any fine they like which goes straight into the EU Commission's coffers. It can only be appealed in some sort of court after the fine is paid, and the court is packed with judges who want to see the EU expand (via spending), so that's cold comfort.

That approach is incoherent: the whole point of capitalist competition is that the better firm in some sense harms the weaker firm by taking away its customers. And giving the referee the power to transfer money from the competitors to their own pockets at will, without needing to convince anyone else at all, is clearly an enormous conflict of interest.

Many arguments about anti-trust do implicitly assume the US model, which at least has some tenuous connection to harm to the general public. That isn't really true internationally, yet ramped up anti-trust in the USA would absolutely be taken as a green light by other parts of the world to whack US firms with enormous fines for conduct that isn't actually bad in any way.
Not just monetize but package. For a while, I measured experience in terms of likes, upvotes and views. Being there wasn't enough. I had to check in and prove that I have fun. Curating my online life put a lot of pressure on me, even when money wasn't involved.
You choose "PAY", put in your bank account PIN, the car drives off the bridge anyway and the virus erases itself from the car.
> This would be wildly beneficial to the consumer.

You'll need some hard proof about that statement, how about you start with a clear metric for "beneficial to consumer". As much as I hate to say this, I really don't want to go back to the pre-GAFA Web, it really badly sucked.
AMD rising and Arm Macs: How Intel's endless 10nm struggles cost it so much
Maybe it was not such a good idea to demolish the warriors caste after all? It seems that the 3rd state has merged with, or rather became, the aristocracy. Taking into account that the peasants defended them against the neo-warrior-caste in the last Great War, and that their lavish lifestyle comes greatly from taxation of the peasants, the long noses should hang for a long time now.
Deinstall the social apps, stay logged out of their web version, aggressively disable notifications, and turn off data unless you need it.
You aren't a software engineer though. I found that the main thing for me is that what I do after work or for fun has to be different. If I'm working as a software engineer I enjoy not being behind a screen in the evening, whether that means bike maintenance, reading or cooking. Whenever I have had other jobs where the demands were different (more meetings, more operational or just physical jobs) I often want to do programming-related stuff for fun.
I agree: to me this is like a car giving you driving directions by saying "turn north" instead of "turn left"; there are people who legitimately find either way to be easier, and if you give them the wrong way they are just going to have to convert it... I find absolutely dates and times to be super intuitive, and I have most of my life laid out in my head with absolute dates, and find relative dates and times to be infuriating. This is the kind of thing that should just always be a setting.
This is one damn fine piece of historical writing. I could read its like all day. This 10m video of a recent scientific visit is also well-done. https://www.youtube.com/watch?v=Io8pNQSesS0
Graphene can do just about anything except leave the lab.
This is why projects like SymbiFlow[1] and Chisel[2] (and many others) exist.

[1] https://symbiflow.github.io/

[2] https://www.chisel-lang.org/chisel3/
This was decades ago :-)
Well, not really. That page is a collection of current events but they're essentially random, with no filtering or ranking for relevance to the reader. So there's some incident in Azerbaijan related to some conflict with a neighbour, something about a change in the speaker of the house in the Philippines, etc.

It's possible for news to both be factual and relevant.
Well, the complaint is mostly surface-level; I'm not sure if there's anything really stopping obe from treating tex as an engine/compile-target, and entirely changing the language that way

Afaik other *tex systems do it in the form of suites of tex macros, but no one really attempts to deviate from tex altogether
I’m not saying it’s true here but duplication over the wrong abstraction is always better. Seems to me if each graphics card is different enough there’s probably lots to duplicate.
Code generator probably runs of their verilog/hdl source of the chips. It probably relies (or is build on top of) on proprietary EDA tools.

Without open sourcing their chips, it would probably be useless.

Even if you work for chip maker, that is what you usually get from hardware guys, so we are probably getting the same as AMD own driver programmers.

\s Welcome to wonderful world of driver development at majority of hardware houses \s
I assume "Work From Home".
Memory safety?
I might not like to see my inconsistencies, but I'd probably be fascinated by them.

For some, the natural drive towards reconciling inconsistencies would be helped by them being exposed that way.

For others, I might accept the inconsistency, and it would be fascinating to see which ones I made a choice to accept that way. I don't regard that as fundamental inconsistency anyway, because all statements are approximations, and apparent inconsistency can be a valid (and healthy) holding state while figuring out nuances, which can take a long time.

For yet others, I suspect I would conclude they aren't inconsistencies in my own thinking, they are inconsistencies in how others / the system interprets my thinking, and then I'd have to refine how I describe them.

If the system didn't allow me to express the necessary nuances so it always regarded my thinking as inconsistent despite not really being so, that would be frustrating. After all, that's how it is with other people already: Invariably they believe I believe something that I don't, and no amount of explanation sorts that out because, by and large, they aren't interested in the necessary nuance.

The one key feature that would make a system pointing out my inconsistencies pleasant to use is: If it were private advice, between me and the system.

The moment it becomes social pressure, public knowledge, pronouncements about me, that's when it would stop being something I'd want to engage with.
I think you're hitting on the main pain point of Julia. My bet is that we'll see strong typing dominate in the coming decade, with assistance from linters/static analysis becoming default.

Unfortunately, this is not too easy to create using Julia. Much easier than Python, sure, but not too easy. Tellingly, the Julia community apparently does not care for static analysis and have not begun to develop the capacity for it. As a consequence, much Julia code is written in a way that is un-analyzable, which digs it deeper into weak typing.
IGDA[0] has a couple of channels on their Discord: #looking-for-work and #job-opportunities

0. https://igda.org/
Idleness is important. You get your best thinking done in the shower because there is little else to do there. We got really good at filling that time with music, podcasts and feeds, but we should leave some of it to process our thoughts and let new ideas in.

I miss walking to work for those 20 minutes of reflection before and after my shift.

Now I ride motorcycles. That gives me hours to think.
Proving all election systems are flawed
The known incubation period is 2 days, known infection period is 7-10 days.
2 two week windows are good enough.
ah I thought it was just down, but it was FF (on macOS) related, Chrome works
The autocomplete popups are really cool.

Does anyone know if there's a generic way to provide this for all tools with CLI's with help text? What about being able to parse a Programmable Completion file.

I don't know much about this stuff, but the thought popped into my mind.
If you don't want to go for the real thing, you could do way worse than reading "A confederacy of dunces" https://en.wikipedia.org/wiki/A_Confederacy_of_Dunces that is one of the funniest books I ever came across (and kind of based on Boethius)
Data encryption a threat to fighting child sexual abuse, says DOJ
Improving Focus and Productivity Using the Pomodoro Technique
Unconventional intersession classes like this were one of the best parts of my undergraduate experience at Johns Hopkins.
Can you point me to some open source examples of these? I work in Rust and I cannot for the life of me imagine describing it as "scripty". On the contrary I feel constantly bludgeoned by the type system whenever I have to do something in that realm (e.g., a unit test).
Don't Give Up yet Keep-Alive
DNF = Did Not Finish
It's a cool project. I've used an app called "Ada" before and it's a very similar concept.

However, I just made a try with some symptoms I've had last week of what was probably a common cold and I ended up with a long list of diseases, ranging from multiple sclerosis and other rare diseases, along with that common cold, but presented with no likelihood order. Also, no warning were displayed.

I think this is quite dangerous as many people who will use such service have a tendency to hypochondria, to present them with such a long list of rare diseases because of a symptom related keyword present somewhere.
For example. If you’re looking to refinance a home loan; you’re easily worth $100-$300 of revenue to Google; with a decent number of searches and clicks (eg “refinance”, “mortgage interest calculators”, etc)
No, a newspaper is impossible to fake, because you can't predict the headlines that will come out that day.
Hmm, you might want to rethink that. Just this morning I was reading this:

https://www.city-journal.org/california-race-coding-criteria...

Public health authorities in California have unveiled a “Blueprint for a Safer Economy” that requires counties to meet new “health equity metrics” in order to emerge from the current Covid-19 lockdowns. It’s a broad experiment in social justice. Under the plan, counties must reduce “disparities in levels of transmission” in “low-income, Black, Latino, [and] Pacific Islander” communities before they can move forward with reopening. In effect, local businesses must remain closed until local bureaucrats are satisfied that ill-defined racial quotas have been met.

The American left can't normally push too hard against free markets because they lost that argument conclusively and completely when the USSR collapsed (really, a long time before). But now they see an opening, so suddenly businesses and markets are being held hostage: implement the left's current social agenda or else your businesses will be kept closed indefinitely for "health reasons". These are not the actions of people who see value in private enterprise.
I go for time well spent, which encompasses productive activities, but also the activities you listed.

If I could spend the rest of my life having similar days, then it was a good day. That metric allows for more than just productive work.
True, however your argument was about smart homes specifically, and the phones don't "automatically shovel all of their camera data to the manufacturer's servers".
PyOxidizer 0.8
What have all the Western Scuba instructors been up to during the pandemic?
From the "About the Author" section

> Marc is also one of the leads for the GNU Radio project, an open source SDR framework that is widely used in academia and defense related research. While Python is great for learning, rapid experimentation, and development, it does not lend itself well to large and computationally complex apps. GNU Radio can act as a good stepping stone for more advanced DSP apps, and a GNU Radio app or individual block is very easy to share with others.
I don't know about other language, but wow the term for Japanese is so formal it's likely those are just tweets from brand/official account.
They are blocking third party cookies. This doesn’t impact Google because they track visits directly from chrome://history
It's funny, I was thinking the opposite. How I would love to have a cubicle all to myself. They had soooo much more desk space in the Office Space days. You could really spread out without knocking elbows with your desk buddies.
I didn't see him mention his method, was going to suggest using certificate transparency logs. I believe there's some sites that allow for searching through them. Quite good for finding all subdomains (that have a TLS cert, which should be pretty much all of them nowadays).
Brainboard.co nocode multi-cloud infra diagram
Visually build cloud infrastructures, faster.
Without coding. Save every dollar you spend in the cloud.
Good! The whole idea for doing js on CDN is suppose to make it easier for entry level front dev to be able to start coding. I think that is great for a school exercise, should never be used in business or production sites.

And on a side note, very unhappy about how the entry to be a developer has lower significantly over the last 10 years or so.
.. until they find out you've been working without a visa, which (while unlikely) will result in even more "fun".

(I do side-eye people who refer to westerners working illegally in the non-west as "digital nomads" while referring to non-westerners doing the same in the west as "illegals")
>What ridiculous world are you advocating for here? Do you even think about the implications of your ideas?

well, given that really atrocious crimes rarely have bail set, it seems as if the 'world being advocated' by the parent here is a world in which the punishment for your crime is not scaled by the amount of money you are capable of coming up with.

The perpetrator of a bail-set crime should not have less practical punishment for the crime simply because they paid their way out of part of the punishment.
Haha, I like the Mac SE/30 next to the Switch.

Including a game (and a good one no less) in the box is pretty cool. I don't think my MacBook Pro came with any good games besides Chess.

I would like to see Apple include a year of Apple Arcade with new Macs and iDevices.
Do you consider the cost of frequency bands a part of infrastructure costs, or is that separate?

https://www.dw.com/en/fnord/a-49168657 was the top hit just now when I searched for 5G auctions. I've no idea how much telcos pay in other countries, but the top six hits for my search were all about Germany, which at least doesn't suggest that Finland is raking in record sums from its auctions.
With a pitiful cap on rules, if I enable every list today I’m already over the limit. And the web is only getting bigger.
I'd say you can and you should. Unless you're working in a Jira sweatshop, you have some slack in between tasks. To the extent you're hired as a professional and being expected to perform creative work, learning is part of the job description and it's fair to do some on employer time. Good companies recognize this explicitly, though I'm yet to be in one that would frown on people who don't just stick to solving tickets as fast as they possibly can.
> The examples I gave were meant to show that the behaviours that one believe to be "fitting" for a certain worldview, is suddenly not "fitting" in another group.

I think this is where we have different viewpoints. To me, a guiding principle that exists like "optimize for survivability" isn't something that people would actively agree to, hence to "belief" is required.

It is like saying "not everyone believes in gravity, yet it still exists"
Unfortunately, you are right - but mostly when discussing programming languages on the Internet. In forums like this, we (Julians) often want to make a case for Julia. Since most soon-to-be Julians come from Python, R or Matlab, it's natural to argue for Julia by arguing why Python and R is deficient.

It's similar to how it's hard to argue for Rust without mentioning that C is unsafe. If C users kept insisting that the unsafe behaviour of C was not a real issue, Rustaceans would seem a lot more negative towards C.
Show HN: Synergy4SaaS – easy content and marketing collaborations for SaaS
There is a difference between anti-social and asocial. Steinbeck was asocial.
I listened to this podcast, it didn't really add that much and one of the hosts seems to think the middle east was a peaceful place until the Americans showed up, as in she says there was no ISIS before America destabilized the region.
How much experience have you had with Godot?
“But” used as a preposition means “except”, so this says “the community isn't anything other than pleasant”.
Lib like this or Redux seems like to try to better help people who don't have CS back ground to develop. Anyone who had CS training should be able to state management in plain JS or other general purpose programming language.
Since ancient history, China used the distance unit li (里). While it was theoretically moved to some sort of standard in the Qin dynasty (The Qin was the dynasty ruled by the tyrant that built the great wall and the terracotta warriors, famous for the attempted and actual standardizations of weights and measures), it has effectively also, otherwise and perhaps generally been an effort-based unit in colloquial use. As recently as early this century I encountered people who still used the li in the effort-based way in Yunnan province (highly mountainous).
In Taiwan, garbage isn't left out on the street, rather, you bring it down when the truck comes around. So the garbage trucks play tunes to announce their arrival on the block.

Thing is, they're the same tunes as ice cream trucks in the States.

This was very confusing when we ran out to score some delicious ice cream.
Good for the firm, bad for activist employees. That data point will be used against them by people like Cirne.

Clearly we're starting to see firms separating into "we just get work done here" like Coinbase/New Relic and another other category, "all in on identity politics" like Kickstarter, Google. Firms that don't want to go in that direction but were previously unclear on what the damage might be from activist exits now have at least a ballpark figure - and of course that 5% number is exaggerated. Coinbase basically gave people a huge bonus for disagreeing with the new policy. If not paying people to leave, and in the middle of a lockdown recession, the number would surely be lower.
Well, yes and no. In the case of laptops, I have a top of the line souped up Lenovo C940 as a work laptop and a Thinkpad T440p as a personal laptop. The T440p cost 200 bucks refurbished, the c940 ten times as much new. The T440p is actually faster for a number of tasks. Sure, the screen is nicer, but is that worth $2k? And sure, the magnesium case of the thing is nice, but the build quality on my T440p isn't half bad.

But I know what you mean, sometimes the cheapest option really isn't. For cars especially, a $500 car in the long run may end up significantly more expensive than a $2000 car, and the boost in comfort, safety, features etc in the $2000 car may make the more expensive car a no brainer.
Mostly fair--smartphones are locked down, like game consoles, and Microsoft is being self-serving here. But Microsoft does make one interesting argument that Gruber doesn't address, that app stores for phones deserve greater scrutiny because the market is so much larger. They are the dominant compute platform at this point. The game console market is smaller than the PC market. The smartphone market is five times the size of the PC market.
Different situation now because instead of being overrun by tourists, they don't have many and the country relies heavily on tourism for revenue.
It depends whether you want to see age or point in time, a.k.a do you want to compare it to now or to some other specific time.

I personally take longer to parse an ISO formatted timestamp when all I want to know is age (i.e. difference from now). An "x [unit] ago" is much faster for me.

The absolute timestamp is probably more handy when I have other dates to compare it to, because I could line them up vertically and visually diff the digits.

I think it boils down to the fact that I don't have enough working memory to precisely memorize all numbers in a complete timestamp.
I honestly don't really see the pro side.

Assuming the accused is guilty and financially well able to pay for bail, this sounds like a pretty good deal to me to just drop some cash, write it off, and be able to leave and never show up for trial.

Assuming the accused is innocent and financially unable to pay for bail, they'll end up in jail without ever having committed a crime.

Like so much else in the US, it's showing heavy signs of a plutocraty, where money even decides if you'll be subject to the judiciary system or not. In almost any sane judiciary system I know there will be a pre-trial hearing to determine the likeliness of the suspect fleeing or obfuscating evidence, and only if this risk is arguably given, only then the suspect would be put in investigative custody (and that time served will be either counted towards the sentence, if guilty, or damages repayed to the suspect if proven innocent)
Well, it's limited by the advertised max speed times one month (per month).
I think that this is a fair argument. When the mental model is already there, changing it is difficult and the trade-offs needs to be in a very advantage position to justify the change.

But over the time this argument loose fairness in some direction. Today, in 2020, I would feel awful if in my meetings I argued that creating unit tests is meaningless, as this will point bugs in my code that I need to fight with. Or that QA is a bunch of mean people that do not understand how to use my library and only want to point to "bugs" that is more work to me to "fix".

IMHO the borrow checker _is_ this test that I do not want to write, or this QA engineer that exercise the code to find a corner case when I am causing a memory corruption in my not-perfect work.
In the Philippines, Boracay used to be a party destination but the govt banned parties last year.
When the weather allows it, I love to pack an "adventure" backpack and ride my bicycle to interesting places. I carry a notebook, some pens, a water bottle, snacks, warm clothes, and other things that might help on my journey. I'll stop for coffee, museums, interesting scenery, sketching, etc.

These little adventures give me time to relax, reflect, do some exercise and explore my city. It's thoroughly satisfying.