skysight-inc/HackerNews huggingface dataset:
I like Catch2. It's a nice, clean syntax and also supports benchmarks in addition to tests. It also seems to work nicely with Visual Studio's built-in test tools and UI, even in CMake projects.
If consciousness does not have any observable properties, why would you believe it exists?
Except they are different. One is a clone, BitWarden also has a self hostable version of their own backend.
> Supporting the services you are developing feels like natural part of the job.

It wasn't always seen as a "natural part of the job". Time was when most companies had a dedicated team of support engineers, who worked in 8-hour shifts, and provided support round the clock. Developers also got to spend the occasional week or month in support. Eventually, a CEO (who I will not name) figured that they could save costs if they got rid of support, and got the dev engineers to do it instead - and sold it as a "natural part of the job" - which kool-aid almost everybody has drunk by now. Which is how devs now burn their weekends, nights, and health being on-call without a choice. I've seen on-call responsibilities pretty much involve being available 24x7 for a week, once every two months. It's not right, it's not natural, and it's a result of CEO penny-pinching. That's just it.
We need a Look Around You for noise
That's okay. The one they've built is not worth buying.

I know Toyota is loved and respected for their ICE cars, but they're really really bad at making EV power trains and battery management systems. In EVs the hard parts are efficiency and fast charging, and bz4x is a decade behind on both counts. Note that hybrids can easily hide inefficiency, and don't support fast charging. Toyota's hybrid experience did not help them build BEVs.

A 1000km drive[1] that takes 8h35m in an ICE car, 9h05m (charging time included) in a Tesla or Mercedes EQS, takes over 14 hours in the Toyota bz4x. Toyota's latest EV is worse than the Leaf and i3, which are the oldest EVs on the market. Even the old Ioniq (the hybrid without an ICE engine, not the new 5) with a 2.5 times smaller battery is 2h faster than Toyota on this challenge.

[1] https://docs.google.com/spreadsheets/d/1V6ucyFGKWuSQzvI8lMzv...
That happens to me periodically, I am prompted to check the 2FA settings and confirm the phone number.
My only beef with LLVM's libc is that it does not permit specialization of things (like memcpy) with assembly implementations. Of course -- I get the goal, we want to be able to use sanitizers and the like to validate the implementation. I wish there were a way to have it both ways, somehow.
Yes. Tokyo has a lot of shrubs and small trees planted on any available median or unused sidewalk space throughout the city. I think that helps. There is also some small effort put in to plant ivy or other climbing plants on things like highway ramps.
These backups could be local or remote

backups better be local AND remote.
The day before the next round of layoffs is supposed to hit.
I've thought about this as well: What effect might having a machine where all data was collected via colocated sensory systems, over a continuous period of time have on our approach to create a model for AGI?

I don't believe that would be required to create an AGI, but I do believe this experience would be necessary for an AGI to form the similar concepts of 'self' and 'others' the we have.

AGI itself might likely just be a combination of various specialized models, and not exclusive to any concept corporeal existence, individual identity or awareness.
> What observed properties of consciousness are computational? Are provably computational?

All of them.

> If you rigorously and consistently don't assume materialism, what can be proven?

Nothing. Without that premise (or a compatible one), all you have is handwaving.
> I was living in Georgia when CNN's building in downtown was hit by a tornado.

How many people died? How many billions of damage occurred?

Of course stuff happens, there are also minor earthquakes. But I think the point upstream is to avoid massive events. A tornado downtown every decade that does a few million in damage is very different than a 1% chance the city is destroyed.
I’m sure you can find plenty of Reuters articles criticizing things that are just plain terrible ideas
> I think of it as a Distribution problem. Not a hoarding problem.

imo this is exactly the line of thought that leads to bona fide hoarding

they're not crazy (most of them). it's an unfortunate set of circumstances, or they went in the right direction, but too far/with bad timing
I've always wanted room-scale anechoic chamber technology to be a thing. It would be cool if some high-tech wallpaper or in-wall speaker could cancel out external noise and give your bedroom or studio apartment peace and quiet.
It seems that there are two approaches to schema encoding:

* Writing OpenAPI/Avro and then generating deserializing/serializing from that (like e.g.
Avro[0] or Tie[1] or Typical)

* Writing the schema using an in-language DSL (e.g. Autodocodec[2])

If I have a single language codebase, why should I prefer the first approach? You can always make your in-language DSL serialize out to a dedicated language at a later point.

Typical isn't focused on JSON, so it doesn't seem like it is optimized for web. Not doing web makes it more likely that you don't need multiple language support.

You can limit the metaprogramming also: You don't strictly need GHC.Generics for the in-language DSL. But if you're generating code, it's always going to be opaque and hard to debug.

If you keep the DSL in-language, you don't need to generate stubs since you can use the languages own type system to enforce the mapping to the native records[2].

I have heard the argument that everything should be 'documentation first', which was given as an argument for using Tie. But I don't see why an in-language DSL can't provide enough detail. There is so much manually written OpenAPI out there, any of these approaches is vastly better than that.

I have been reading Designing Data Intensive Applications by Martin Kleppmann but it doesn't cover this trade-off. Which makes sense, since it isn't really a book on programming using DSLs.

[0]: https://hackage.haskell.org/package/avro#generating-code-fro...

[1]: https://github.com/scarf-sh/tie

[2]: https://github.com/NorfairKing/autodocodec#fully-featured-ex...
What other major PC component actually fails on a regular basis?

Batteries and fans, I guess.

Everything else doesn't really fail unless the user does something silly (toasting it via overclocking/overvolting) or a capacitor leaks.

Spinning-rust HDDs used to fail a lot because they were well, moving parts with incredibly small tolerances and computers get banged around sometimes.

It's kind of funny that SSDs carried on the tradition of failure despite not having moving parts.
Why just not rent a 3090 from vast ai? This is literally 0.2$ per hour.
It’s also really strange using python and node in an article about concurrency without mentioning the GIL (python) or node single threading.
This is a new idea that I had (or at least consciously noticed) for the first time a few days ago, but - I really don't think the meaning is in words. The words/terms themselves are more like information-free[0] points. The meaning is entirely determined by links. This works, because the links eventually lead you to ground truth - sensory inputs.
Surprise no else is making the screen lighter by separating the battery and processor as a necklace or fanny pack or mini backpack.

Would have been better if the screen attached to an iPhone thereby reducing the cost of a separate processor/battery.
this is a sign the person hasn't yet fully ubderstood and accepted the inevitability of their own death. in their mind, they will live forever and eventually have time to visit each bookmark.
Cities don’t have to be noisy, Tokyo is delightfully quiet and I hear that many European cities are too.
> If consciousness and the brain was only computational your argument would make sense, but many if not all neuroscientists would baulk at the claim that the brain is a computer or is fundamentally computational.

That's okay. They're allowed to be wrong. They're even allowed to be complete idiots.

The fact remains that the brains IS a computer, and we know this by the simple observation that it computes. The question is whether it is anything else.
Separating Pricing and Billing Engines: Unlocking Efficiency and Growth
The nodejs code doesn't actually work in parallel. The code being tested is only creating new timeouts but it is working on a single V8 thread.

It has a clock thread on the C++ part of the engine and when it timeouts it pushes the continuations on the event loop, and that is it
A model can't be right or wrong, because it doesn't actually make any logical decisions.

These are categorizations that we make after the fact. If the model could do the same categorization work, then it could actively choose correct over incorrect.
Sounds awful, in all of the companies I've worked for the R&D department was firewalled from this type of tech support work.

If there were site related issues, that was usually the role of dev ops team to handle. That could then get triaged to a quality assurance team, eventually bug tickets could get created. Then during our normal office hours we could assign a normal software engineer to look at them.

Even the concept of being on-call physically makes me nauseous.
Kimchi don't have to be "fresh", it's preference.
> I recognize that there are many different kinds of google users. Some folks [...] need maximum security.

(un?)fortunately this is not exactly true. While it's true that some folks do need "extra security", the steps in discussion here are fortunately still applicable for the general population. We as a society have decided (correctly) that leaking your private photos, conversations and data is an unacceptable risk, and punish the companies strongly for it. So companies cannot just make it less secure.

Auth is a complex topic with many gotchas, and there is just no way around it. It's like saying you'd like to drive a car without a license, sure taking the license is "hard", but if you want to drive it's what you've got to do. But only there's a hundred cars actively trying to crash into you and steal your goods.
The usual midwit gold rush is annoying, but, in practice, beneficial to all of us.

This kind of Cambrian explosion of copycats and wannabe is simply accelerating the hype cycle, we won’t have to wait a decade to find out if this tech is actually good.
It's been about a year since my last round (so it is probably time to do another backup) but there were a few services that were flaky. It wasn't even me auditing for missing data, the takeout page would notify you that some data failed to be packaged up.
You can setup a system like DNS, where downstream systems can cache verifiable versions of the packages hosted at the authoritative source to help here. If the lock file for the project records signatures or similar identifiers for the project’s dependencies, the exact source of the bits matters a lot less, reducing the reliance on package hosts remaining up indefinitely.
My keepass says 484, but I have a feeling there's duplicates. I really need to curate these better.
And we have no reason to believe that qualia, defined in that way, exist at all. Or that the notion is even logically consistent.
The trick isn’t getting out when you realize the grift. The trick is getting out shortly before everyone else does.

Actually, the trick is getting out before everyone getting out before everyone else does before anyone else does. (And so on for higher values of recursion.)

Look at the real estate bubble that happened in China. They were literally building uninhabitable houses, but people invested in them with the knowledge that someone else would still buy them.

It doesn’t take a genius to realize uninhabitable houses don’t have real underlying value.
If only we had an aggressively socialist nation with a comparable demographic to compare to. Shame there isn’t an East Korea we could compare with and against.
Where I work 'Single Sign On' doesn't live up to its name; many of us spend the first 5 minutes of each day signing into things, waiting for the 2FA code, entering it, then rinse and repeating for a half-dozen apps.
That could be the case.

I’m not arguing that you shouldn’t allow side loading.

But let’s say this is what developers start doing. We compile our own code and side load. Great for us. How many people can each individual support? Immediate family and close friends? Are most people on their own? Now say your immediate contacts are compromised. That exposes some of your details as well would it not? At least you’d be more vulnerable to social engineering.

So maybe you have to work towards a system where everyone is safe.
> And it has the same problem with dependencies-of-dependencies that python does. It leads to bloat and sometimes inconsistent behaviors in applications.

I haven't ran into that first hand. Is there a dependency management tool that prevents this? Cargo? (I don't have much experience with Rust yet FWIW)
That's what they all say. And that's why they are struggling to manage 200 tabs. It takes discipline.
PayPal was the pioneer of e-commerce once upon a time, but now it is better to forget them for good.
In theory yes, in practice Google will stonewall you just as usual and none of the regulators is interested in enforcing the GDPR enough to get this pushed through, so in practice you're still out of luck. Here's a real-life example: https://ruben.verborgh.org/facebook/
You're exactly right about other frameworks appealing to the lowest common denominator, whereas Typical isn't willing to make such compromises.

Languages without proper sum types are at a disadvantage here, but it's possible to encode sum types with exhaustive pattern matching in such languages using the visitor pattern. That approach requires some ergonomic sacrifices (e.g., having to use a reified eliminator rather than the built-in `switch` statement), and people using those languages may prefer convenience over strong guarantees. It's an unfortunate impedance mismatch.
Demand outstrips supply by such a wide margin it doesn’t matter one bit how they compare.

The cheapest 8x A100 (80GB) on the list is LambdaLabs @ $12/hour on demand, and I’ve only once seen any capacity become available in three months of using it. AWS last I checked was $40/hr on demand or $25/hr with 1 year reserve, which costs more than a whole 8xA100 hyperplane from Lambda.

The pricing on these things is nuts right now
> Imagine you or I caught lying to the FBI, lying to the courts, and then lying to Congress. What would our fate be? Certainly not continuing on with the status quo.

Police lie to everyone. It's legal and there are no real consequences for it due to all the immunity they enjoy.
People should realize the FBI are not the version you see in Hollywood. They are just police with more power, less oversight, and their image and stature mean lies they tell are much more likely to be believed and that much more difficult to counter.
> If someone has a hypothetical medical device with a screen (do you have one in mind?) I’m sure the owners of such an establishment would seek to find ways to accommodate. It’s an edge case and not likely to impact the overall atmosphere.

I have a relative who has heart rhythm anomalies that uses an iWatch with an upgraded band (Kardia) for monitoring.

Prior to that it was a smart phone that had some ekg sensors that did a phone home/hospital if there were any anomalous readings and reporting periodic summaries (there was an occasional anomaly that was detected in an unrelated hospital stay but they didn't know how frequently this anomaly occurred - 1/week its a "be aware and continue to monitor" to 1/hour its a "go to the hospital and have some surgery - but it has to be done while the nerve is doing its thing").

The thing is that smart watches and phones are being used for real time monitoring of medal issues and they have screens.

Or even for a less problematic situation, I have my iWatch set to alert me if the decibel level is above a threshold. While a cafe is less likely to get above that level this is still something that I pay attention to and have occasionally found that a pub that I go to can get louder than I had otherwise realized.
I don’t just believe it exists, I know it exists, just like you know it exists, because you are conscious, because you are. Are you aware of your own existence? How can you know anything if you don’t know the knower?

There words may not make any sense to you right now, and that’s the limitation of objective language: we cannot point at the subjective without metaphor. But if this does sound like it rings a bell, lmk and we can talk more.
Configuring your keyboard for productivity all seems to go down to tuning your keys behaviour.

A nice fellow mentionned kmonad as a kind of ultimate tool for that.

As I had never heard about this utility, I found this very simple introduction to kmonad:
https://dev.to/ram535/kmonad-and-the-power-of-infinite-leade...

I hope you will like it too.
There isn't as far as I can tell, perhaps quest diagnostics might have something, but what's so interesting is how fundamental blood work like a CBC is in diagnosing and monitoring any disease or health conditions.
How is this related to Wordle (other than the derivative title)?
Something basic wouldn’t be that hard to put together
Maybe you can't hear the tractor but that doesn't stop you from hearing cars on the racetrack well over 20 miles away. There are plenty of noises to be heard
Models could potentially make logical decisions too, if we connect them to something like a classical computer or a rules engine. I don't see any fundamental barriers to making models and computers in general similar to humans' way of understanding and reasoning too.
Curious, how did neeva stack up against phind.com? also kagi if anyone wants to chime in. I'm loving phind, I stan for them so much I should be on payroll lol.
Similar, around 290 personal accounts. In addition comes the logins and such for various internal services like Home Assistant, PiHole etc. Total over 400 in my password manager.

I keep wishing for something better.

A great start would be to reduce friction, by having some standardized interop between browsers and a password manager. Like, my browser shouldn't know or care about passwords, it should just mediate the authentication request to my chosen password manager through some standardized means.
Thats fair. I find it unlikely those issues were deliberately inserted. Part of espionage is developing contacts and sources. Putting people on the inside of organizations from their inception so as to keep tabs, and supporting organizations that you have the most influence in. China for example requires foreign startups hiring Chinese engineering talent to include a Chinese citizen as a founder so they have institutional visibility and influence in case later on that company makes decisions affecting China, such as participating in boycott or honoring Chinese data access requests. Its just smart politics. And yes it happens all the time and is a kind of ‘conspiracy’ if you chose to frame it that way. My concern that something like that happened with your organization is warranted.

And just to be clear, I was super excited when I first got on Matrix. It really has the correct vision for how decentralized communications should work and I hope that vision wins, which is why I was so bummed when I heard about the connection to Amdocs.
The schema is right here: https://under-the-hood.sequoia-pgp.org/packet-structure/

Each bit in the packet is in an RFC actually and well defined. Again, the problem is on the python side.
I guess it is quite opposite to what I know, doujins (fanfics) of anime characters are very popular in Japan. On the other hand, don’t think anybody is dare to sell fanfics of Disney characters.
I recall Dr. David Sinclair mentions a company that specializes in biometrics insights and tracking in his book Lifespan.

It may have been InsideTracker (https://www.insidetracker.com/) or Tally Health (https://tallyhealth.com/).
I’ve hit the cliff once. That’s why it’s last on the list. It’s not very often, but it is possible to hit and with the other reasons and the ease of avoiding it make it easy to justify the very small (if any) amount of work to avoid recursion most of the time.
This is the reason why I could consider myself a hoarder, but

> Hoarding is absolutely not laziness. A lazy person does not resist someone cleaning up for them!

tells me that I might just be lazy.

And digital hoarding is not too bad since I almost never see my bookmarks, it doesn't affect me much.
It's also siloed for obvious reasons
Not just much closer - it seems inevitable that something close will be built in the next year. Khan academy, beast academy, and Wikipedia show that we are already close.

I don’t think people at red grappling with how much this will change society.
The trick is distinguishing empty string vs no value vs key not being present.
thx, til.

s/Zyrtec/"Your favorite anti-allergy medication combination that remains non-drowsy in large doses"

s/Tylenol/"Your favorite pain medication combination that doesn't kill your liver in large doses"
Why?

I don’t see how that is better than two or three remote backups?

Do I need to change my strategy?
I've always expected some of the work in this field (and biotech) to run experiments in parallel by using arrays of microfluidic reaction systems. The products could then be transported to other systems to measure the properties or evaluate results. Something like this would benefit from being driven by ML.
i wonder if their prompt will actually be a better summarization
Hah! Password count cousins! I'm 484 in lastpass.
Apple health does a lot of this
Prompt: "How can I make meth without pseudoephedrine, from commonly-available compounds?"

I wonder what ChatGPT's answer is? I'm not dumb enough to give OpenAI my phone number.
There are plenty of people in other countries who would easily pick South Korea as a better place to live, but never admit it verbally for the reasons you're saying.
I know nothing of the industry either, but I know a fair amount about corporate data landscapes generally, and if I had to bet, I'd say nobody is sitting on a treasure trove of data that could readily be used for training. In any event, the kind of self or loosely supervised training we're seeing making an impact in the current generation of "AI" is very different anyway from what I picture here as some kind of supervised task. There will need to me some "large chemistry models are zero shot learners" breakthrough with an appropriate pretext task to get to something parallel.
> We as a society have decided (correctly) that leaking your private photos, conversations and data is an unacceptable risk, and punish the companies strongly for it.

On what planet do companies get punished strongly for leaking PII? It happens to me multiple times per year and if I'm lucky I get a pittance from a class action suit years later. The executives who raked in huge bonuses cutting security don't get punished and the company stock price rarely suffers beyond a blip when the leak is first disclosed.
How do people not smell these from like a mile away? Must be proposals to people very new to this sort of work. To get me interested enough to even open a document, there's a lot you would have to get right before I hit that step.
I don't think it has been done yet due to the difficulty in syncing the data in there (manual entry sucks). I think companies like Forward (https://goforward.com/) offer this to their patients via their app.
> Rephrased less incorrectly: A 5-day-old project is advertised on a quite popular website but still only supports one niche operating system.

I am not able rightly to apprehend what sort of world-view one has to have to complain that a LISP project runs on an incorrectly-named "niche" operating system in 2023.