skysight-inc/HackerNews huggingface dataset:
Today I used chatGPT to workshop title ideas for a research paper I’m finalizing. (It wasn’t able to produce good backronym titles, sadly, but it was a pretty good source of feedback/ideas)

Some graduate students I collaborate use it to help them revise and polish their writing (English is not their first language)
The computer vision capabilities of deep learning are pretty amazing. I'm surprised they aren't being utilized more.
> I can't do in TS with the help of a library or two.

Libraries like io-ts and zod embed the type information into JavaScript, so the information is available at runtime but only for wrapped types. If TypeScript provided runtime type information, such libraries wouldn't be necessary.
And the crowd ate it up. One dude talking shit in isolation is one thing. The audience reaction is another thing altogether.
That's a bit disingenuous when it's coupled with the current legislative push that's taking place contemporaneously.
The all-in-one tool only decrypts Widevine L3, which is the lowest security Widevine protocol according to TFA. 4k content is only available with Widevine L1. The others don't say which level they support, but I assume it's the same.
Sweden had a lower or same excess death rates than almost all other European countries [1]. The large death spikes early on in the pandemic can be mostly explained by the fact that Sweden had a much lower death rate among its elderly population in the years preceding the pandemic (if I recall correctly).

[1]: https://ourworldindata.org/grapher/excess-deaths-cumulative-...
Sorry to have caused you pain!

I thought this video would get maybe 100 view at most, or I would have put more effort into it (like implemented paren matching in the editor first).

I like lisp (and apparently it's good HN bait). But the language is not really the core of this project.

It is more about making a truly personal computer. One that doesn't require you to think about charging or software updates. That is always fast and responsive and ready to use as it is never doing something strange in the background. Simple enough for me to feel like I understand how everything works.

And writing your own OS for it is easy if you wanted to - you could implement forth, lua, a small C compiler - whatever you wish, and these properties would still be preserved.

Useful? Probably not. Fun? At least for me it is.
> I dont know why people are staring this thing in the face and pretending they can do better at the first pass.

Because we also tried it and found it severely lacking?

For purely "literary" endeavors like corporate speak, and writing texts within certain stylistic templates it is really good
About 300Mhz on each core on average, but the peak frequency on the best core did not change.
I think you mean to have undefined after the equal sign, otherwise I don’t see how there could be an error
What framework would you have preferred be endemic instead of Boq?
> Is that terribly worded or is it just me?

It's just you.
> The app is codenamed P92 and will allow users to log in through their existing Instagram credentials

So if it relies on the servers of one centralized entity for authentication, how exactly is this thing "decentralized"?
Reddit version of Gell-Man Amnesia: https://www.johndcook.com/blog/2021/01/18/gell-mann-amnesia/
> My mistake, I saw your name was xiaodai and assumed.

Oh my bad, I disregarded your comment based on your assumed Chinese nationality and “spam” (also assumed?). Since you’re not Chinese you’re worth my time.

I don’t get it.
Are any of them in commercial operation?

The capex is so high and fuel cost so low it just also doesn’t make economic sense to ever turn down your reactor. Or you have to be overproducing to the extent that there is a significant negative price for electricity for quite a while before the cost makes sense.
Text has bigger information complexity than pictures. (So no, a picture isn't worth a thousand words. In reality it's probably the other way around.)
OK thanks for the advice. Yeah I have about 600 followers on my @algonfts.art thing, but they only care about Algorand.

@aidevcodes has around 100 followers. I should post more routinely on there.
Need to learn to say no and push back. Shouldn't need someone to come and tell you this is ok.
Meta explores decentralized social network app for text updates
It's not going to be solved. Stop saying this. It's a great step forward and a real user experience improvement, but it doesn't solve it.

Packages need to precompile, and they don't. They need to fix invalidations, and they don't. They need to fix inference issues in their packages and they don't. "Using" time remains quite high.
Not exactly a concise rebuttal from you either.
The same way gmail is but with ActivityPub instead of email. You sign in with your Google account, but you can send emails to an email server run by anyone.

For an example of decentralized servers + centralized authentication just look at video games. It's common to have a common identity, but be able to join a server hosted by anyone.
You have to really be rewriting history to blame google for the downfall of usenet.
It is funny because today I got an email that my work account was given a YouTube handle and it had my full name in the profile there. Same company practices 10 years on.
> as of 2020 (PEP 638)

>> Reference Implementation
>> None as yet.

> but they're still slightly janky

maybe you're from the future?
Self-driving is valuable, data centers are valuable, what’s the issue with them consuming power?
Having an instance with a x million users is impossible to moderate. Instances have been blocked for not being able to moderate low thousands of users due to incompetent/unresponsive mods. Having a poorly moderated instance federate with yours is seen as a threat to your users and a proactive admin would not allow federation. Also most admins are aware of EEE tactics and we all know we cannot expect anything even remotely resembling ethical behavior from big corporate instances, they are a threat to the network by default.
Both are useful.

GPG is good for signing, particularly when that signature is written into some form of immutable history (e.g. git). That signing key can be revoked or time windowed to expire. There are mechanism for distributing that revocation and its validity at the time of signing can be verified at any point in the future.

SSH keys are excellent for authentication. They are simple to verify at the time of use, and can also be revoked or for a specific system or usage context. Using these short-term keys for potentially long-term proofs is going to lead to some avoidable pain IMO.
Green accounts concern-trolling in one comment and referring to a transgender "ideology" in another aren't here in good faith.
> Chronic and severe fatigue existed long before SARS-CoV-2 appeared.

Yeah, and it was thought to be often triggered by viral infections.
That’s not true. Not having an agreed-upon canonical test is not the same as there being tentatively useful ones, such as brain morphology.

Also, maybe just trusting folks’ lived experiences instead of telling them what to feel or what they are is a fundamentally decent and humane idea?

But what do I know…

^ sarcasm intended, for those too dense to have any kind of awareness of basic humanity
The real problem is decentralized is too ambigious. There are a billion different ways something can be decentralized. The term is meaningless.
It’s decentralized in name only, it’s marketing talk. It’ll still be behind Meta’s walled garden
Superconductor at room temperature – longer lasting batteries?
I've looked for papers, but can't figure this out: do our current neural networks (LLM, vision) qualify as complex systems?

Are they composed of autonomous agents that exhibit:
- diversity (in behavior)
- high connectedness
- interaction among agents
- adaptation (agents changing their behavior based on the behavior of other agents)?

Because if current NNs don't fit that definition of complexity, they it seems unreasonable to expect them to be intelligent, no matter their scale. Intelligence will likely be an emergent property of the above four criteria.

If anyone knows of relevant books or papers, would love to hear it.

BTW: "AI winter" refers to a collapse in funding; but I think we're well past that point. Previous winters only happened because academia led AI research, and there were no commercial opportunities. Now, the economic benefits are far more tangible. And if funding doesn't dry up, there's no reason to think innovation will dry up either.
Decentralized doesn't capture what you want it to mean anyways. When crypto people say decentralized, they don't mean AWS edge locations or The Federal Reserve Central Bank which are both decentralized. How about we start saying exactly what we mean?

"Non-excludable" captures the important aspect. It doesn't matter if your network is decentralized if it can't maintain this feature. Bitcoin being non-excludable implies that it is secure in terms of consensus control - even if a powerful agent is out to exclude you from the network, they would fail. That is the core property and it leaves no room to hide behind as a buzzword; it means exactly what it means.
iA Writer is available for Windows [0].

[0]: https://ia.net/writer/support/windows
Wasn't that their Picasa acquisition?
I think I’m this person in my current role, and it’s 100% management related. I interviewed for a team and hand picked some very skilled people to try and relieve my load… and then the company decided to move them off of that project and onto another big contract they’ve signed. At the same time I’m just completely frazzled. Very hard to get yourself out of this situation when there is no buy in from the organisation that there is an issue.
Millions of images have been removed from the training set for SD3 which is why a lot of people are sticking to 1.5.
Especially if some unknown percentage of them are paying $20/month for that pleasure.
I see a common theme of cis (meaning not trans) that are confused about why numbers for trans people are rising. I'll take my best shot at explaining what I believe to be the reason.

If you ask most trans people why the numbers are going up you'll typically get the same response: awareness and exposure to other trans people that can help explain gender dysphoria.

Many trans people do not understand that they are suffering from gender dysphoria. It's not a crystal clear set of symptoms. They will rationalize or bury symptoms, which are more or less entirely mental, and it is frequently not at all apparent to an outside observer that they are experiencing it.

I distinctly remember the first time I read a forum with others describing gender dysphoria and how it manifested for them. I discovered that feelings I thought were something only I felt, that no one else seemed to understand, actually had a root cause which was shared by others. That there was a name for what was "wrong" with me, and that I could fix it. I was 26.

Awareness about gender dysphoria has risen and more people are finding out that there is a name and a solution for the wrongness that they experience. It's only natural that more trans people are coming out.

It's unfortunate that cis people cannot experience what gender dysphoria is like, even for a moment, because they have no frame of reference for why it is so confusing for trans people, especially prior to them realizing what it is that they are experiencing.

Eventually things will level off as the number of people with gender dysphoria that have recognized and treated it approaches 100%, though I doubt it will come to rest anywhere near there.
ZRAM is amazing for cloud VMs which typically have strict disk IOPS limits which means any significant swap usage is going to destroy IO performance or even lock the system. ZRAM w/o swap completely prevents this IO condition and is much faster than disk swap anyway.
You don't need any other tools sets when using sbctl to enroll and sign your keys. It's a one-stop shop for creating UKI bundles and signing them. I use systemd-boot with UKIs created by it and it has no issues detecting the UKIs. Maybe your problem is holding on to grub(legacyware IMO) which has poor support for what you are trying to accomplish.

Hibernation support in lockdown has nothing do with the MS politics around secure boot. You can generate and use your own keys to use with secureboot. The issue is that "accessible" unencrypted hibernation files invalidate secureboot when you can break into RAM and modify system images/files.
I think the other (IMO completely valid) concern is that you don't know what the Yubikey does, really.

The protocols are open source, sure, but how sure are you there aren't back-doors in them? The firmware tends to be closed source, I found https://onlykey.io/ but I can't speak to how truly open they are, having never used them (do they have e.g. specialized hardware/software requirements for building one?)

In the end, it strikes me as a security over-complication - 1. have key, 2. keep secret, 3. match key/password to situation (don't re-use keys). These dongles do 1. and 2. but miss the mark wildly on 3.

You can say all you like about "backups" but in the end I actually want some things to be less secure than others - if I have to throw out a device every time I forget a password, life becomes some combination of expensive, wasteful, un-tennable, unsafe. I should never need a password to get into my fridge, e.g., and after the key is in the ignition the car should just "work", no messing with SSO while changing lanes.
Leave, leave, leave. The universal solution to all problems in a market(like) economy.
Or they may decide to rewrite whole thing in Rust, and before that write a new framework to make sure that productivity is optimized, and write a project management tool for it first because current one sucks.
No offence but this comes across as falling into the fallacy of “I spent time on it therefore it must have value!”

> I think HN failed

Is it really HN that failed here? If you really believe that HN is the issue, may I suggest that you consider marketing your product somewhere else?
Both exist.

Trivia time: Laeticia (née Laetitia) was married to Johnny, the famous French rock singer; Estelle was married to David, son of Johnny. Note that Johnny is dead now, Laeticia has been remaried twice but kept Johnny's last name, Estelle is divorced, and David is not the son of Laeticia as Johnny got married several times (David's mother is the French actress Sylvie Vartan).
I am exactly in the same boat. I had raised my concerns regarding pricing twice and both the times they had said that they will introduce new pricing model. I was really hoping that they will reduce my $10/mo subscription pricing.
MathPrompter: Mathematical Reasoning Using Large Language Models
This is true for any [citation needed] hardware security module. The interface allows to store/generate secrets and request cryptographic operations (encryption, signing, etc). Aside from physically tampering with the chip to access bits in raw silicon there is no way for the secret itself to leave the chip. Software security modules behave the same way, with the exception that one does have software access to the backing encrypted storage.
I mean… there is a huge stretch between the Picasa they acquired and what Google Photos is today.
The whole point is that you literally can’t backup the key.
It worked well with Chrome though.
my cousin's grandfather is 101 and lives in the house he lived his childhood in; i think he was born there. he and his parents have expanded the house significantly since then, as well as, of course, repairing and maintaining it. it's very comfortable now. a society that builds durable housing stock is saving up the goods and services that went into its construction

one of the things in the house is a nearly complete collection of national geographic magazines, going back before he was born; a treasury of knowledge about how people lived all over the world during that century-plus, as well as how they were seen from the point of view of the usa, ready to be perused and enjoyed at any moment without tracking cookies, broken links, images scanned at the wrong settings, or javascript incompatibilities. the images are mostly "retina display" resolution and famous for their beauty. preserving them for this century-plus has consumed very little resources

right now i'm listening to a song by rush recorded 40 years ago; every year there is a wider variety of recorded music available for me to listen to and compositions for me to sing, as long as we don't start losing it faster than it is recorded

last night i washed a shirt i got as a gift 17 years ago; if i can keep it from getting eaten by moths or sour sweat, it will surely last another 13 years

— ⁂ —

but these are mostly consumer goods, not capital goods like lathes and motorcycles; having more shirts, national geographics, or rush songs won't increase my economic productivity, which is what is needed for such savings to grow rather than shrink more slowly (though plausibly you can be more economically productive if you have a house big enough to set aside a space for sewing or grinding telescope mirrors or enlarging negatives). and for that it isn't necessary for the actual material good itself to survive for decades; it is only necessary for it to augment economic production by more than its own value during its lifetime, however short that lifetime may be

a car may have a lifetime of 10 years and, by enabling an uber driver to provide higher-value services than they otherwise could have, produce twice as much value as its inflation-adjusted cost of manufacture over that lifetime, 20% of the cost of manufacturing it every year. multiply that by the number of uber drivers in a society, and you have savings growing, in real terms, on a societal scale. and there are a thousand kinds of capital goods like this which continue to produce real value over a period of time once savings have been invested in them: house insulation, refrigerators, washing machines, olive trees, engine lathes, kitchen knives, electric drills, laptops, and so on. even factors of production that are consumed within a few months or a year can qualify, like knitting yarn

(however, a drill you buy, use once, and then leave in the garage and never use again does not; it may not be decaying very fast but it's not growing)

this is how a society can grow its savings in real terms on a societal scale, through accumulating capital goods and knowledge so that its productivity can increase over time
This Winter Is Snow Good
Ok, Minsky "pioneering" is his writing about something invented before him. Anything else? :)
This website needs a Little Luca Ultimate club sandwich almost as much as I do.
No, it's not, it's a hatchback car with a higher lift. There's no such thing as a "hatchback sedan". A sedan (or "saloon" in the UK) is a car with 4 doors and a trunk (or "boot" in the UK) (which is an entirely separate compartment from the passenger compartment).
You might enjoy Typed Racket. Clojuresque square brackets and statically checked type annotations:

https://docs.racket-lang.org/ts-guide/
I still have two fuckin' YouTube accounts for some reason, too. Some devices log me into one, and some log me into the other one. It's almost as bad as Microsoft accounts.
Right now it’s not an option as I will be going off on an extended period of paid paternity leave in a few weeks, but I’ll be looking after that.
One is still standing, the other seems to be insolvent.
You did decide that, pursuing someone with tenacity doesn't mean there is no chance, you just decided it. In any case it really is immaterial to whether or not he's a stalker anyway. Even if he did believe he had little or no chance, even if he had little or no chance, that still doesn't mean he can't try. There does not have to be any evidence his interest was reciprocated. It doesn't matter that he tried to make a movie for her to win her affection. This isn't stalking.

You can't just pick words out of the statute and fit them to thought or behavior. "Targeting" -- of course you can "target" a specific person for a friendship or relationship. That isn't stalking, how else are you going to do it? You have to apply the entire test, and "reasonable person" is one of big ones here.
Thanks, had dark mode on so didn’t notice the green username, but that does make more sense of the tone of the comment
There are even more issues with Julia than you mention there. But the point is there are _many issues_ with _every_ programming language:
Python is slow, its package management story is a dumpster fire, its object model is bizarre and confusing, its typechecking mechanism sucks. Also, its documentation is terrible (docstrings and documentation of functions) and the built-in REPL is basically useless.
Rust has slow compile times, too much macro magic leading to unreadable code, the 90% of what the borrow checker rejects is perfectly fine code, its trait coherence rules are too restrictive, async sucks, and it's totally unsuitable for quick experimentation.

These are all real limitations, but users of these languages learn to live with them. Rustacenans learn to start a build, then so something else while it builds. That is, on its face, totally unacceptable to a Pythonista. Pythonistas learn to always ship performance sensitive applications with _another language_ doing all the hard work: Totally unacceptable for a Rustacean.

If someone tries out Python, spends five minutes getting package management to work and fails, they have not seriously thought about Python as a language. I feel people do just that with Julia: Try it out, then reject it on the first rough edge.

Fair enough: There are many people for whom lack of static type checking or Julia's latency is a showstopper, making the language unsuitable. But I'm still firmly convinced that for scientists/engineers at least, Julia, on balance, offers a better language than Python. I hope you're wrong that it won't gain much popularity.
No it’s just that an image can’t be “false” or “grammatically incorrect”. Anything recognizable can make a satisfying image and people don’t seem too bothered by the kinds of mistakes image generators make.

Text generated though we want not to be just a pile of recognizable words but to follow some pretty strict rules and to actually be true.

Imagine you insisted stablediffusion only produce photorealistic images and judged it for every inaccuracy.
Chances are it's a Kubernetes pod using containers these days :)
In many cases, cars are sold by tickling the interest of people who want performance.

Tesla's Model S Page: "With a drag coefficient of just .208
Cd, the lowest on the planet, Model S is built for speed,
endurance and range. Improved aerodynamics and a wider
chassis offer more responsive performance so you can take
corners quicker and with more confidence." [1]

That's even the case with the Telsa Model X.

Tesla's Model X Page: "With the most power and quickest
acceleration of any SUV, Model X Plaid is the highest
performing SUV ever built." [2]

And, for people who want their Tesla to have an exhaust for barreling down the road, there are 3rd party add-ons for that!

Did you crave the performance of a Tesla electric car but
miss the sound of a rumbling V8? A UK exhaust manufacturer
may have the answer: fake external noise. [3] Youtube of
the sounds from that fake exhaust.[4]

I guess there are some people, though, who see a camera and think of a performance built vehicle.

[1] https://www.tesla.com/models

[2] https://www.tesla.com/modelx

[3] https://www.drive.com.au/news/tesla-electric-cars-now-availa...

[4] https://www.youtube.com/watch?v=Ff4XEXYoE5k
One of the features that I dislike the most abiout Julia is how list comprehensions have been directlly ported from Python. This was a conscious choice they made out of pragmatism, not because of the merits of the design.

I don't doubt that what you say it's true, but to me, it comes down more to lack of familiarity with other languages than any actual merits of Python syntax and semantics. Frankly, I am glad the didn't take more from Python.