skysight-inc/HackerNews huggingface dataset:
But you still ended up buying them? I didn't know it's not possible, glad I went with Jabra Elite Active instead. Cannot imagine trying to muck around with that crap while out running.
They’re not contagious but they create plenty of collateral damage to others that didn’t consent to it.
Planting more trees in cities makes a lot of sense, but it doesn't do much for CO2 levels in the air.
There is still innovation required. For example I'd like mouse wheeling on the volume indicator in tray to change the volume on windows like it does in KDE on Linux.
You can disable changing the ringer volume with the buttons. Then the volume buttons only ever control the media volume for apps, videos, etc. It’s so much nicer.

It’s in Settings > Sounds & Haptics > Change with Buttons.

I never want to change the ringer volume. I just set it to maximum in Settings and use the physical vibrate switch when I want silence.
Financial Products That Combine the Innovation and Purpose
Not to mention nix-env has been kinda-sorta-but-not-really-but-yes-really deprecated in favor of nix-shell... or has it?

I don't know.
It makes me wonder how they manage to get it so wrong. Is there nobody at Microsoft who uses teams that they can ask for UX feedback? Does all the user feedback they collect go straight to the bin?
The average user doesn't exist. It's an abstraction used by techies to make arguments they cannot defend.
>What exactly happened any why is this user hostile?

Reddit does not allow you to download videos through their UI. Sure this is not much different from youtube, but when you consider that almost all content on reddit is reposted from other sources its pretty scummy to try to lock it down.
"Referential integrity" is when you don't have any dangling foreign keys that can not be resolved to an entity/document/row. "Data subsetting" is the process of extracting the relevant parts out of a larger data set.
How Data Labeling Service Empowers Security Industry?
Paul is dead
An IBMer once explained to me that Lotus Notes was intentionally not improved; it was purposefully bad, a form of coordinated sabatoge. The bugs provided employees with an excuse for why troublesome directives or wasteful meetings were lost.

To this day, I still am unsure if they were joking.
This!

As long as there is a need for something like FOI for non-classified goverment activity, we have a problem.
A modest proposal:

When the volume slider reaches its end, it should roll over to the other end for convenience. Thus, we can do away with one of the volume buttons, and just have a single button that decreases the volume until the slider rolls over.
Which platforms is Safari available for?
> Do I want Firefox to have access to my Contacts? My Photos? Do I want Facebook to have that access? To all of them, or just ones that I select? Should my disk utility have the ability to send data over the network? My IDE? My IDE plugins?

Wouldn't the POSIX way of handing this be to have Firefox run as its own "Firefox" user with different privileges?
Your last paragraph is confusing. The standard replies you came with do sound realistic but imply lack of concern as opposed to lack of knowledge.
I believe it.

I chuckle whenever any one claims Democrats are liberals. They clearly haven't been to our meetings.

The only thing Democrats agree on is opposing Republicans. And even that isn't a hard rule.

After that, policy wise, we fight about everything. No issue, or point of fact, too small to start a blood feud over.
This is the EU right?

There must be a mechanism where we can discuss this as people and try to revert this vote.
> You made a similar bad-faith false-equalivance elsewhere in this thread.

What’s up with people throwing “bad faith” around lately? Did some sort of memo go around?

> Forgive my language, but what utter crap. It's a vaccine against a deadly and contagious virus.

I’m not talking about vaccines. The person I was responding to made a more general point about rural areas versus urban areas and localism. I was agreeing with him.
I read a lot (if not all) of his work, I'd like to say just ignore his physics, he's really not good at that.

I'm not saying enjoying his story is a bad thing.
This is an active area of work; check out the docs for "experimental commands" at https://nixos.org/manual/nix/unstable/command-ref/new-cli/ni..., especially `nix profile` and `nix search`, where your examples would become:

nix profile install nixpkgs#package_name

nix search nixpkgs keyword
Passing an infected USB stick to operators in poorer countries (as you say) is hardly the most impressive part of the deployment procedure.
TimeOnSite analytics for web apps in a nutshell (updated post)
Does Excel online still have row and column limits?

It's always been a mystery to me why Microsoft never addressed this - they could have prevented a whole host of competitors in the "big data" space from ever existing if they'd found a way of abstracting this limit away from end users.
I had the e61. Also a lovely piece of hardware. Lasted a long time until the feature phones tarted dying.
Google realizes: Critical won't fix bugs on HN aren't good for publicity
After a blog post (https://news.ycombinator.com/item?id=27794237) about a critical bug in Cloud SQL that Google didn't want to fix got famous here google added an interesting comment in the bug report.

> Someone got a memo that getting on the front page of HN for that issue was not good publicity
We have a weekly reminder to set your next week and,
through the app, you can send a gentle ping to your own teammates when they have not set their status yet.
Depending on their preferences they will receive a notification (in-app, push, slack, email...)
We also sync your slack status each day, so people realize quickly when they are missing their daily emoji.
I wanna see a language where the type system and the actual language are the same language.

I'm not talking about self-hosted compiler, which TS is already. But basically what runs statically and what is compiled for runtime to be the same language in two contexts.

C++ is moving in that direction with constexpr expansion, but it also has to carry the legacy of macros, its existing type system, templates, and so on.

We need something clean.
I have the same issue with mine. I stopped used that specific mic and have used WOMic android app ever since, turning my phone into wifi microphone. The phone microphone is suprisingly good quality and picks voice nicely even from distance. Paired with nVidia Broadcast to denoise the sound it became my daily driver.
It’s part of an agreement between Nikon and King Faisal. The US commits to protecting the al Saud family (note: not the country, but it’s kleptocracy), in exchange the Saudis commit to holding their money in the US.
I thought Blender did convert to the sRGB gamma properly, the problem without “filmic” is that the highlights clip so badly without a roll off that lighting becomes very difficult and encourages bad workarounds.
https://learningsynths.ableton.com/

Ableton have excellent learning resources all online for free. They have web based demos for most things.

This covers synths but they have other sections for more general music creation too!
Not that weird of a setup. A few years ago I was responsible for dev environments for >500 developers. I wasn't aware of Nix at that point in time, so we provided prebuilt Linux VMs for local and remote use,which we would update with Chef scripts. In the meantime I also use Nix for setting things up for my personal dev environment. Currently trying to use WSL2, not sure yet whether that is really better than a VM. I can recommend using the nix Home-Manager for combined dot file management and tools installation. With direnv and nix you can set it up such that when you enter a directory you get the exact version of the tools you want for that project. Being able to easily manage different versions of the same package easily is IMHO the killer feature of Nix.
I absolutely love tomato juice. Both the real thing and that crap they give.

Am I extraordinary?
Haha, thanks. That brings back memories.

If I recall, that thread helped me avoid burnout for a while. But it eventually caught up to me again with a ferocity I was unable to defend against, with the catalyst being a parent who died. Fortunately, I was in a position of financial strength and faced the beast head-on. On further reflection... burnout turned out to be a gift in disguise. It was an impetus for necessary change.
Check out Circle, a C++ compiler for a superset of C++ that supports regular code at compile time: https://www.circle-lang.org/
Read "A Brief History of Time" by Stephen Hawking
Acts of terror and pandemics are not just "happening" by chance. It's an intentional effort to change society to one with no privacy and around the clock automatic surveillance of everybody (facial recognition, AI, robotics).
> Google is a for profit company. On the side the offer products and services. Their profits come from selling your data to others.

Google does not sell the data to others. (In fact, much of Google's profits would remain intact even without any user data. That is the great thing about search ads -- the user tells you exactly what they want. There is no need to guess)
Except the places that still teach that want abstinence-only education. That’s my point—the localism proposed by the grandparent poster is a good idea, but it requires everyone to chill out about how other communities choose to teach their kids. Everyone would be a lot happier if they weren’t having to look over their shoulder all the time wondering what the other side would try to foist in their kids. Having been in the receiving end of that in the 1990s I would have expected urban folks to understand that.
You have to feed those 100 instructions to the CPU, this takes memory bandwidth, which means you need larger instruction caches. Caches take up most of the space and power on modern hardware
I used to think thay I'd like working with advanced type systems with their "If it compiles, it works" guarantee.

However, I recently spent some time working on a TS codebase with libraries like GraphQL Nexus and that changed my mind. The errors become impenetrable pretty quickly.

I'd say a "good enough" type system like Go's is probably better for most teams. Advanced types come with a power that I wouldn't trust most devs, including myself, with.
You mean like Zig's compile time manipulation of types? It's very powerful but the problem is it makes it harder for IDEs to reason about code.
Indeed, interception and manipulation of electronic communications/elections/transactions scales vastly better than paper-based.
Please excuse my shallow comment but I have to ask.

Having used it on several projects, to me, TS is nothing but a great static analysis tool.

Certainly not a fan of what it does to the code I write and its inability to recognise that Object.defineProperties has its uses

Have I been doing it wrong?
Looking back on this comment, I want to apologize for trying to say what is "real" burnout and what isn't.

Thinking about it more, they can all be symptoms of the same thing, to varying degrees. Apologies to anyone I may have upset by minimizing their experience.
I dont know why, but sometimes I have this exact issue of mousewheel able to increase it by a step only every second or so, and sometimes it works perfectly.

I remember googling how to solve the issue, and I remember solving it back then, but I dont remember what it was. And it still happens sometimes, I have a feeling its related to some specific files being played.

It is ridiculous nonetheless
You’re likely blinded by a “nodejs monkey developer” stereotype which prevents you to see that node is what everyone wanted back then. It’s very, very easy to create an http-based analog of any “traditional” service in node and to free yourself from learning all the shady details (which there is a lot) of configuring it and keeping it alive at all levels, were it based on traditional software. Node is extensible configurable networking itself, and http(s) is a quintessence of all text protocols. All that we wanted back then is available now in node at much finer granularity and much less configuration or headache. “They” spin up home-grown services because it is a natural one-page-boilerplate straightforward thing to do in node, not because of ageism or something similar.

I tell you that as someone who fiddled with sendmail.cf’s and other .conf’s way too much long before nodejs became a thing. Now it’s a relief.
Did we just DDoS itch.io?
Ruby's Sorbet? Where type signatures are just Ruby itself with no new syntax. (Not sure if this is what you were looking for though)
>sure we have WCAG 2.0 and W3C WAI but just having those doesn't ensure compliance.

also internationally government requirements are not always what they could be, however I have high hopes that the EU will end up pushing stringent accessibility requirements based on https://www.w3.org/WAI/about/projects/wai-coop/ and https://ec.europa.eu/social/main.jsp?catId=1202
Electrify America to More Than Double Its EV Charging Network by End of 2025
Dependently-typed languages often work this way! See for instance "Inductively Defined Propositions" in Coq. (remembering, of course, that propositions are types [2], which proof assistants take quite literally)

[1] https://softwarefoundations.cis.upenn.edu/lf-current/IndProp...
[2] https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as...
Lots of other options provided, but it seems like you may be interested in Lisp.
That’s awesome. Congratulations!
> Advanced types come with a power that I wouldn't trust most devs, including myself, with.

It's sad that TS has turned people off an entire paradigm despite it being a terrible representative of said paradigm.
Really like the look and feel. Good job! I feel like this could be expanded to a more social level. Meet up with friends at the cafe (eyyy), students at the library, gym buddy's at the gym, etc. I saw datumprikker being mentioned already, Café could indeed be a more ad hoc version of that. Not really "planning" anything, but just nice to know some buddies of yours will be somewhere. Best of luck with the launch!
Come back in a few years and I'll link you haskell.org ;)
Check out any dependently typed language.
Idris should also be an example of this.
nix-env is a little worse than your examples suggest. It's really:

nix-env -iA nixpkgs.package_name

Can't forget the leading `nixpkgs.`. And searching is:

nix-env -qaP '.*keyword.*'

Because `--query` takes a regex -- unlike all of the other nix-env subcommands, which take globs.

But `nix search` has been available for years, and works great.

There's still no nice interface for installing packages, but that's not actually an operation you do very often with Nix, since you're mostly specifying environments in files, rather than mutating your own user environment. Of course, newcomers don't know that, and they want to manipulate things in their PATH like every other package manager, so that's not an excuse for the bad ergonomics. The upcoming version of Nix adds `nix profile install` which is a bit more intuitive.

I think Nix's current CLI makes git look positively humane, but I'm encouraged that it's been steadily improving.
Chinese government lays out new vulnerability disclosure rules
I know there is plenty of evidence that divorce correlates with bad outcomes for kids.

But I don't think there is any rock solid evidence divorce causes that much harm (over living in a house hold with two people that hate each other enough to get divorced).
I don't think you are a special case.
I think the success of Teams was a surprise to MS. It was ingenious to copy slack and push it on enterprise users though.
I forgot. ATM I use Ubuntu with the nix package manager, not Nix OS. The reason being that in case a package is not available on Nix, or is not working out if the box. I found for example that Visual Studio remote support does not work out of the box on Nix OS.
Borland C++ for MS-DOS used pre-processor macros in BIDS 1.0, while BIDS 2.0 replaced that hack with templates.

In 2002, Visual Studio T4 was used for generating .NET code shortly after it was introduced.

In 2005, Eclipse EMF was used for generating Java code, eventually Java 5 made that unnecessary.

As you see, that is a path well known for the last 30 years.

Eagerly waiting for Go 1.18, even with CLU like generics.
Jai being developed by Jonathan Blow is like that https://inductive.no/jai/
Federal Government Announced $350B American Rescue Plan
Weren’t they stalled for nearly a decade on the manufacturing process node (14nm from 2014 on), so design was really the only way they’ve been able to produce any improvements? I’ve tried keeping up to date on this and that has seemed to be the case.
Totally agree. I think that something that has some sort of "partial" evaluation and basically merging values and types would be so powerful and crush many interesting bugs.

Instead of having to do type-level programming, how about relying on the fact that the type checker is also running on a computing machine? The fact that we don't even have super simple stuff like first-class union types (let alone nice type manipulation logic) in most stuff is really painful.

An aside: I think one way Typescript gets away with this (beyond soundness stuff), is that it doesn't have to actually build some high performance evaluation model for its type system. It doesn't care, it's here to check the validity of your code, not to run it! It's a very powerful concept that opened up so much without having to futz about with like... how to efficiently represent all these unions.

How many times have you stared at a thing, think "if I could open up the compiler/type checker at the end, I could totally verify some property of my code, but it is not expressible in the type system"?
This sounds to me like dependently-typed languages might fit the bill. Look at Agda (more fancy-features focused) or Idris (more real-world programming focused).

Their idea is that you can lift value-level computations to the type level one-to-one. This allows you to do tricks with them that are normally only reserved for type-level things: things like equality proofs that are verified at compile time. In fact, the main reason why dependently-typed languages are developed is to exploit the Curry-Howard correspondence saying that every first-order logic statement corresponds to a _type_ in a dependently-typed language, and the validity of the statement is equivalent to the existence of an inhabitant of that corresponding type (= a value that has that type). This allows you to prove arbitrary properties about the functions in your program without ever leaving your programming languages!

Maybe not exactly what you were looking for, but it technically fits your bill :)
Wireless charging 2.0 doesn't look so dumb:

https://www.energous.com/
Funny thing about lockdown/wfh4l... they're really gonna wait a while to get in
Also anonaddy.com which provides better privacy at 1$/month for custom domains.
It is disingenuous to call this misinformation. Whether you believe it was lawful or illicit, wise or foolish, there was definitely a large cash delivery made by airplane.

https://www.wsj.com/articles/u-s-sent-cash-to-iran-as-americ...

https://www.washingtonpost.com/news/fact-checker/wp/2018/03/...

https://www.latimes.com/nation/nationnow/la-na-iran-payment-...

https://www.cnn.com/2016/08/03/politics/us-sends-plane-iran-...

https://fortune.com/2016/08/05/money-america-iran/
I still use my BB Classic as a daily driver. Really not looking forward to next April when 3G is switched off in Australia...
You mention the “Humboldian ideal,” do you have any insight into why that particular part of the German education system seems to have been picked up in North America, but the rest of the system (universities of applied science, technical universities, apprenticeships) wasn’t?
It is, and it kind of sucks. Worse yet: in different VST plugins, for instance, sometimes you're supposed to click the knob and drag up and down, sometimes you're supposed to move the mouse in a circle as if you were rotating the knob.
This brings back bad memories. Once upon a time, people thought "executable XML" was a good idea: https://commons.apache.org/proper/commons-jelly/
Seems like this applies to unencrypted communications only. Most http traffic is over https so will need considerably more work to decrypt it
What Is Mutation Testing
I don't know - C++ has a sane static type system, value semantics and isn't ridiculously slow.

Also case insensitivity is a terrible idea. Everywhere it is used it causes problems.
For those of us that believe in systems programming languages with GC, Go is indeed competing with Rust, alongside Nim, D, Swift, C#

https://tinygo.org/

https://www.f-secure.com/en/consulting/foundry/usb-armory

Naturally Rust remains an option for the use cases where GC, for whatever technical reason, is indeed not possible.
Zoom does the same thing with my volume. Seems kind of an odd design choice that is pretty malware-y.
The Burnout Conversation Is Corporate Tool to Turn Your Suffering into Marketing
i think eventually system of records should be able to directly push to well authenticated queues.

we are a data and cpu intensive API - and moving from an client-request flow - to pushing to an API to get a pending response, then hitting their queue/webhook once the data is ready. Eventually i think only-once semantics found in kafka, other stream processing will become the norm and better alternative to webhooks, with the right security constructs.

giving write access to partners to a queue or even database connection to directly push data, may sound suspect today, but be common practice in a few years.
Famous quote:

"Irony can be pretty ironic at times." --Cmdr Murdock
I don't understand your statement? Rare but latency-sensitive events are a very common use case for webhooks or long polling.
Kathryn Bolkovac, the Whistleblower Who Exposed a Pedophile Ring
Comparing a FIFO internally wrapped in mutexes and conds, designed to pass messages, to a single mutex makes very little sense. Of course a channel is slower than one of the bare primitives used to construct it!

The proper question to ask is whether your application (or your programmer) lends itself with the CSP paradigm or not, and whether this allows you to write simpler, more robust code.

Extremely performance sensitive code will always need to be written In lower level paradigms, using e.g. atomics directly - this doesn't matter for most code though. And to be frank, extremely performance sensitive code is past the capability of Go for quite a few reasons.
This is why i use vintage tech for my "real, important" data (ever tried to fit a state trojan in 4 MB RAM?), why i only discuss "unimportant" and "non-compromising" things via phone / smartphone... and why more and more of my friends are starting to do the same. We exchange data via sneakernet and tend to "fly under the radar".

Yeah, we might be practical paranoid weirdos, but at least it gives us the illusion that it is possible to avoid the leviathan.
>Outstanding Contemporary Makeup for a Variety, Nonfiction or Reality Program (Non-Prosthetic): “Mariah Carey’s Magical Christmas Special”

Oh. my. god.

Not sure if anyone besides me seen that trainwreck of a show, this must've been the most cheesiest thing i watched in my whole life.

The whole thing is blurred to death, if any of the singing is done by Carey herself i'll eat my hat and if there is or is not anything "non-prosthetic" i guess is up for the jury.

However, once you turn this thing on - be ready to watch it whole as you seemingly cannot just turn it off :O
Hard to tell what's going on in scientific terms from a pop article like this. It seems like they intentionally compressed some coil using a huge amount of energy, with nothing to stop the compressed metal from being thrown outward again. No such thing as a "magnetic explosion" (right?)