skysight-inc/HackerNews huggingface dataset:
Propagation is way easier, and basically just requires tracking types of values & parameters. To infer the type of `a` in

var a = 1;

I just need to figure out the type of `1`, then realize that the type of `a` is the same.

slightly harder would be typing union / intersection types - e.g. this:

var a = some_test() ? "foo" : new Bar();

Java would "infer" (kind-of) the type of `a` to be something like `Serializable & Comparable<? extends Serializable & Comparable<...>>` as both `Serializable` and `Comparable` are supertypes of both `String` and `Bar` (well, depends on `Bar` of course). This starts to show how much trickier things can get.

Now, imagine knowing nothing about what can be stored in the variable, and only seeing how it's used - this is the case for function parameters.

(x) -> x + 1;

Is `x` a `float`? An `int`? A `long`? Maybe a vector? Basically, imagine the most complex type you can write in a given language, and then consider, the compiler would need to be able to prove that this is the only (or at least the most specific) type you could use.
Did you set out to buy that particular machine or did you just happen across it? If you don’t mind my asking, how much did it cost? I have so many questions!

Do you have a blog? I’d love to read how all of this came about. What an awesome project. It looks great!
“But most people aren’t built that way” seems to be a pretty big assertion that, if really that obvious, would seem to imply some of the central questions posed and grappled with by centuries of religion and philosophy — “are humans naturally greedy or generous?” or the age-old government/cultural policy debates on collectivism versus individualism — are nothing more than superfluous navel gazing.

I don’t have an answer either way. But I’m inclined to question this idea that just because things are the way they are now means that is the way they always were and will always be. How many people would be happy to expand that “small circle of precious lives” they make better if they could, but can’t due to the fact that, modern life now is seemingly a tangle of actively contradicting incentives? And how many people would, if they knew others would provide for all their needs and wants, act as solely a parasite to the system that feeds them? And would it be a critical mass that makes the whole system untenable, or just a relatively small group of bad apples accounted for by the number of people who give more than they take?

Again, I don’t know the answer, and I do not pretend to. But I do think a blanket statement that more people are greedy than generous is more a commentary on modern politics - that maybe our current system of society forces people to behave that way - than the human condition.
Recently - linear app.

Long term - Vi/vim as many have mentioned already. Well, more specifically it's bindings in vscode, but still. It's just so powerful :)
Bash and its derivatives, I think.
Typing at 100 wpm is a character about every 120 ms.

A 200 ms delay would be interoperable and a 30 ms delay would be a 25% penalty to see the characters appear.
How do you get line numbers in Vi? I tried once but `:set number` put them inside the file!
Sine decades I wish this would be a std. OS or FS feature!
I completely agree with this sentiment. I remember one I was a TA for an introductory graduate medical informatics class, and a couple of the students insisted on trying to make a "PowerPoint" in LibreOffice (presumably because he has Linux installed on his laptop). I specifically told them that I would be grading a non-insignificant on their communication and presentation abilities. But they kept on insisting on using LibreOffice. The content of what they were presenting was so utterly distracted by the poor formatting, I had to specifically mention it in my grading. Frankly, I have never seen an aesthetically pleasing presentation in LibreOffice, and it get into so many conflicts/broken formatting when trying to migrate to PowerPoint.

The reality is that if you're going to be interfacing with non-technical people (managers, customers, exec level), they all expect a certain amount of polish that comes from presentations. I'm willing to dunk on MBA types that drop buzzwords all day, but sometime you need to be flexible with regard for what tools you use for your job.
> Since toy trends exist, but don’t last for very long, they have to invent new products every year

Fortunately someone already invented blocks (and construction toys) slime/goo (and science/exploration/messy craft kits) and monopoly (board games.)

Most "new" toys seem like variations in very well-established categories; something like hatchimals combines plush toys, robotics and collectibles (furby DNA apparently) along with the regrettably persistent trends of unboxing videos (youtube) and randomization/gambling (capsule toy machines, etc..)
>It's great that you're motivated by helping people. Sincerely. But most people aren't built that way.

Or that's what an 18th century quote says. Several centuries of later evolutionary, psychological, and sociological research doesn't much agree...
I personally rely on frontpage and comment count as an indicator as to weather I should spend anymore time to read that article/comments. I do read all titles though so metrics are not the only factor.

I do realize that in using HN in this way I'm "leeching" off of hn curators work rather than contributing to curating new things myself...
This law also means that users will not be ale to repair or modify their electronic devices unless they take them directly to the manufacturer. Small repair shops will be illegal or prone to high fees; only the big manufacturers will be allowed to continue repairs. And if any device has a software lock, for example the 2018 MacBook Pro, it will be illegal to bypass it, and it will require you to go only to apple.

wow
> The Zig language accepts hard tabs and carriage returns. The self-hosted compiler implements the Zig language correctly; accepting hard tabs and carriage returns. However, the self-hosted compiler is not yet complete, and what people are using in reality is the stage1 compiler, which does not accept hard tabs.

https://github.com/ziglang/zig/wiki/FAQ#why-does-zig-force-m...
Apologies for that p-bomb, I agree it was unwarranted.
How funny, Trail Router also happens to be hosted with Hetzner. Right now in their auction there's a E5-1650v3, with 256GB RAM and 2x 480GB SSD for 73 EUR/mo (including VAT) - which is exactly what Trail Router runs on. That's incredibly good value for money. Lots of RAM is crucial for applications like this.
I wouldn't be so sure about this without looking at some images of the camera PCB in these devices. From what I have extracted from other manufacturers, what you suggest has never been the case with these and similar devices.

There are several possible circuit configurations I can imagine being in use in theory... however, most have some rather glaring flaws. I'll do my best to describe a few that come to mind.

1) LED in series with supply:

This would, at first blush, enforce the behavior that if the interface IC has power, the LED will be illuminated. The issues come from the side effects of having an LED in the current path of a supply line. Illumination is a function of current through the LED, so brightness would be determined by the power requirements of the remaining circuitry. Also, depending on the chemistry of the LED, there is a (relatively) significant voltage drop across it, reducing your supply voltage Vss by ~1V. In short, this just would not be viable.

2) LED in parallel with supply and interface IC:

With an appropriate current limiting resistor, this has the expected behavior: When power is applied to the device, the LED is illuminated. This is unlikely to be the configuration, however.

The reason why this is unlikely to be the case has to do with the fact that most low bandwidth peripherals are attached via USB. This means power is always applied. If power was switched by the USB controller, there would be side effects. Most notably would be device enumeration every time it was turned on. The other is that, how would a program know that your PC has a camera if it is unpowered and undiscoverable?

That leaves (not exclusively, as there are a few other cleaver ways)-

3) LED is controlled by interface IC:

The exact behavior here is dictated by the IC's design, likely involving a gpio or status line turned on via firmware.

I suppose the LED could be in parallel with the supply line going to the CMOS/driver IC located on the camera module itself if the module and interface board are separate, however, I believe this configuration is highly unlikely.

There are plenty of hypothetical exploits given any of these (and other) configurations, involving under-volting, over-volting, high speed switching, software, etc. Heck, somewhere in this thread there is discussion of physical alterations with arguments that it would be too difficult or expensive to modify. Although not 'easy', it is by no means difficult either. All it would require is a screwdriver or two, depending on fasteners. Gain access to the module, locate LED, remove/destroy.

TL;DR: Cover it if you have any concerns.
For DMD's backend, that is true. It's like Rust's MIR project, but finished.

However, the commits I linked to describe front-end optimizations. LLVM-based D Compiler and GCC share DMD's front-end.

I've seen some generated code optimizations for DMD's back-end as well, which could get one lightning fast compiles for decent code. (Maybe in the future one could write a JIT that first compiles with DMD then tiers up to LLVM D Compiler or GCC.)
ERP software is painful to use, I 100% agree with you there. But my bigger problem with it is that it encourages a culture of saying things like "streamline knowledge control documentation end-to-end conversion". Fuck that.
I prefer Vim for writing. Plenty of writers prefer text editors to word processors for writing.

No need to be either/or. Fast AND useful is possible.
I agree with his ultimate conclusion -- don't start a forum.

It is no fun being an internet referee.
Psychedelic Mushrooms Could Pit D.C. Against Congress
Got it. In that case I agree.
A Conversation with Bjarne Stroustrup, Carl Hewitt, and Dave Ungar

They have a fascinating (and polite, respectful) argument about shared memory, message passing, locks, synchronization, and lock free message passing!

https://channel9.msdn.com/Blogs/Charles/A-Conversation-with-...

What happens when you put three titans of programming language design and computing in a room and turn a camera on to capture what takes place?

That's the thought experiment that led to this conversation with C++ language creator Bjarne Stroustrup, Self language creator Dave Ungar, and actor model creator Carl Hewitt. Thank goodness all three of them were present at Lang.NEXT 2014. Many topics are covered, as you can imagine. It's best that you find some quality time to watch, listen, and learn from some true masters. This is a long conversation and there is great programming history herein!

This is a rare (and very candid) gathering of some of the best minds in the programming world today.

Huge thanks to Bjarne, Carl, and Dave for spending over an hour to make conversation in real time. The topics naturally evolved out of the random and it was an honor to be in the room with such wonderful people who've had such a huge impact on programming.

Tune in. Enjoy.
I think it was veiled criticism to the United States' ad culture.

Someone using those ISPs should probably look into a vpn. I know it feels weird to trust a third party more than your ISP, but if they're injecting ads into your HTTP responses, maybe you should.

Anyway, giving the user the option of using https and even defaulting to it is a good thing. But I don't think non-encrypted protocols are that disastrous if no secrets are being transmitted.
The university I went to offered open book/note exams for almost all courses. It literally didn't even matter how much you memorized... open book tests didn't make anything easier. you need to understand or fail.

I'm not into showing off ranking or pedigree but I do genuinely believe that the higher the pedigree your school the more likely the exams will be harder and require total understanding and even creativity over rote memorization.

The reason is because memorization is trivial. Students able to get into any top school will likely all easily achieve full score on an ordinary tests. The professors at top schools need to make these tests brutally hard in order to produce a bell curve.

I literally had one new professor at my school actually give a mid term that was what would ordinarily be called fair in any other school or college... but the entire class ended up getting nearly full score.

He realized his mistake and the final was way, way harder.
This is really fantastic. Thanks for making this!

One suggestion: Have changes to the route push state to the history. That way you can use the back button on the browser if you make a mistake. Right now it'll totally take you off of the page.
I know "multiple layers of irony" is a joke, but this comment might actually qualify.
Outlook. How can a flagship product be so useless, after decades of work?
Right on my coffee game is so strong since the lockdown I think I might need to attend a Coffee Anonymous program right now.
That cosmetic doodad is unhackable, though, as opposed to software.
The promise of ARM based Macs is delaying my next laptop purchase for a single reason - battery life. I want to see the battery life metrics of their new devices, depending on that I intend to decide.
Has the gap at least narrowed over time?
That is a bit of a strange statement. There is an API, there is an app store full of the Trello's and Jira's of this world. Chats copy and paste or share to Outlook just fine for me. You can even use Flow to save all of your chats... literally anywhere that has a connector. The lock-in is imaginary.
It should be possible to mod a Sega Master System to run Coleco carts.
Does anyone here have a good source for how fast vector instructions (AVX2 and the like) will compute under Rosetta2 on the Arm-based Macs vs the current x86 Macs?
I investigated this exact idea about a decade ago with a bunch of engineers. We all concluded it was too difficult to be worth it. Wise engineers live in the country :)
This is very similar to the “flywheel” concept of Amazon’s strategy
Sorry to hear about your family member's bad experience, but glad to hear they're on the mend. I'd highly recommend Atul Gawande's book Being Mortal which has a lot to say about doctor hubris in treating the terminally ill. He describes how the patient should guide the treatment based on their own preferences, informed by the doctor's expertise.
The Stanford version uses air lubricant seems much more advanced, and single combustion instead of dual.

https://www.youtube.com/watch?v=bSPRT1JAXj4
I am looking for a password manager for my team as well. Keepass on a shared drive is not ideal anymore. Looking forward to seeing recommendations.
On macOS desktop, WhatsApp crashes at least once per day. Pretty annoying.
I don’t even consider Sony products. Haven’t since the PS2. They’re kinda like Microsoft for me. I just associate the name with scummy actions and user hostility so I never even evaluate their products. Been that way for well over a decade now and I don’t feel like I missed out on anything. Apparently their mirrorless cameras are pretty good but I honestly can’t imagine owning a Sony thing.

I’m not boycotting Sony, I just associate their name with crappy products.
>Now, take the headphones away then think about what you have to do to cancel noise. You have this two dimensional window in your home that lets through three dimensional sound waves. The best that you can manage is a two dimensional speaker array which is what you see there attempting to create some sort of sound hologram.

First, what you be the problem of creating a three dimension speaker array? Sounds totally feasible...

Second, is that really "the best" that we can do? I've read about a mesh of special design that you can put on your window that still lets you see outside and lets air go through, but cancels certain movement/frequencies, cutting off noise.
I moved from Kodi to Plex and haven’t looked back. Granted I don’t use Pi devices (my tv supports plex natively) it works much better than I ever found Kodi to
if I build an email newsletter list with 83 million subscribers

Yes, if Trump builds his own newsletter he is free to do what he wants. But when he's posting on someone else's platform, he's subject to their rules. Welcome to how the world works!

They really are breaking...section 230 protection

This off repeated talking point is wrong as a matter of law. There's a reason that all kinds of people have made this claim but never actually initiated any legal proceedings. They know they don't have a legal leg to stand on.

You might want to read this explainer (from a conservative lawyer) explaining how this law actually works:

https://thedispatch.com/p/section-230-donald-trump-vs-twitte...

it would be a step too far for SMS providers to inject their opinion into my private text messages

Tweets aren't private communication. It's a broadcast medium subject to far different rules.

Freedom of speech is too damn important for a handful of power-hungry silicon valley Inquisitors to control.

Freedom of speech isn't under attack. Trump can say whatever he wants. He has one of the most powerful (figurative) megaphones in the world. A couple of small editorial comments on a single website, even a popular one, will not meaningfully reduce his (or anyone else's) ability to have their say.

You say that Twitter shouldn't be able to express its own editorial opinion. It's actually that point of view that attacks free speech.
That article seems overly critical about young developers that don't know it any better because they grew up on containers.

I guess I am one of those so I got to ask, is the proposed solution of unikernels something we had before but lost in favor of containers, or is it something completely new anyways?

It does look like it might be the latter so why blame developers for using containers due to lack of choice? If unikernels are better and just as easy to use then I am sure people will convert.

He blames a lot on marketing and marketing lies but his company (https://nanovms.com/) seems to make it just as hard to figure out what's going on with the apparently only option being a schedule a demo button.

Come on, I remember Docker being that fancy new thing that people at university taught themselves and to each other around ~2014/2015. That hype was well deserved and if you want to compete with that you can't just decide to brush it off as wrong and misguided.

At the risk of pointing out that I also might be one of those that the quote above is referring to, I gotta ask:

Is there a technical reason why I shouldn't be able to eventually just replace Docker with a micro or unikernel? Same or similar style of image definition, completely different runtime technology?

Isn't it up to the kernel and platform developers to build the tools to make that happen comfortably for all of us naive container users?
You are so right about Atlassian tools. I cannot stand Jira. Very often, it's easier and faster to fix a bug, then to update the status in Jira. It's clutterware.
Even after all these years I have no idea what Y combinator is or does, nor do I care to learn. I just come here for news stories.
I don't know how trademarking naming works, or if they would even care, but Trex is already a big Composite Decking manufacturer. They have trex.com.
Without-Systemd.org Website Is Broken
This matches my experience having received one Nov 2018 (and returning it a few weeks later). It was constantly getting my actual sleep times wrong, more often than not marking me as being asleep while watching tv in the evening.

After contacting support, their solution was an upcoming update to their app where I'd be able to edit the data so that I could override the app whenever I knew it was wrong. Which completely invalidates the primary reason to own this product. I mean, if I knew when I was asleep, why would I need a ring to track it?!

So given that it couldn't properly track sleep, doesn't track activity (by design), the only other purpose in my mind was to track HRV. And count me as skeptical of the accuracy of that data as well.
Neat. You made Trello.
It’s made all the more interesting by the current MacBook line. For the first time in a very long time it’s a good lineup and is close to the ‘good, better, best’ of the olden times.
You have to enable it separately from settings, accept its eula etc. Definetly not enabled by default.
Right, but we're in a different age now. It will be harder to cover up the degeneration of culture - and "silicon valley" culture is not exempt.
I've use Teams every day in education for a couple of years now.

My favourite file access "feature" of Teams (I verified it was in fact working as intended, at least until the pandemic and the warts started getting more obvious) was that class teams had read/write access by default for all files in a team. This meant every student in a class team could modify what you uploaded by default. Of course fixing this required opening up the team in Sharepoint and fiddling with permissions, totally something every teacher is expected to figure out right?

Not really a software feature, but their update rollout style is awful as well. Announce features 4-8 weeks in advance of rolling out patches. Inconsistent rollouts, so my home desktop might have the latest feature patch, but my work laptop won't (I was around 4 weeks out of sync at one point). Manual checking for updates won't apply the latest patches. Meanwhile their consultants in education are crowing about all the new features or bug fixes.

I actually like some of the feature set, and it's very useful in an educational setting now they've brought some of the new features online (3 months later than would have been useful for the pandemic lockdown in my part of the world, but oh well), but enough frustrating elements that I'm constantly supporting workmates in its use.
Right... And the previous transitions in early 2000s was eased by the usage of universal binaries with powerpc and intel code. Same will apply for the universal binary 2 with intel + arm code.
Emacs.

It's such a mess, but nothing else comes close.
I think I misunderstood the original comment. I interpreted it to mean that health agencies were deliberately understating the effectiveness of masks to reduce the number of people who wear them. I was more looking for a source on the "deliberately understating" part, but on re-read I don't think that's what the OP was saying.
On notes: Can you love poetry if you learn about it in bullet form?
Throw laptop in bag which has small things like coins, pen lids, etc
The feedback from our users has been that the audio quality is amazing. Sounds like a hardware problem to me. Perhaps you are one of those annoying people who won't wear a headset in a conference call, so we all get to hear your background noise?
Thank God I don't use lastpass anymore.

It was ugly, confusing and slow as hell.
Jawohl, mein Kommandant
I would not agree that embodiment is a necessary condition for human level intelligence.

The reason I use sufficient is more broad. A cat does have intelligence. Human level? No. Intelligence? Yes. As I explained in the post, embodiment enables a rich feature space, which is what makes it a sufficient condition. It isn't just the simple act of having a body, but the ability to interact with the environment creating a more rich environment. I cannot think of any creature (by definition all having bodies) that doesn't have some form of intelligence. But we need to distinguish "human level" intelligence from "intelligence" and "human level" from "human like." These are different things.