skysight-inc/HackerNews huggingface dataset:
I have a teams plugin in slack that notifies me minutes before a meeting starts.

On slack I have everything muted except mentions, meetings, and a couple of channels.
Quantum winter is coming
> You can have your name change as well, or your calendar can change

What do you mean by that?

Having a type for "country of origin" would mean that the type gives you limits on what values it can hold (any country known to ever exist) so you can not say something like:

Country c = "Foo"

because Foo is not a country.

I can't imagine having a type for a persons name that holds checks anything but perhaps a strings length, certainly not a list of all possible names.

The calendar example I don't get. We already have "date" types in almost all languages so that "works", although it can be used as example of how hard is to implement some types.

-----

So I say:
>> This approach works good in some cases, but not always

And you say:
> Does that mean we stringly type everything?

Come on now. "Not always" does not mean "Never"
I thought plug-ins can be scoped to only work on a single domain or only work when you click them.

It’s how I run grammerly, which is a descent enough grammar checker except I never want it to correct my chat posts, or GitHub comments.
Perun made a video about this:

End of the Helicopter? (no) - MANPADS and helicopter losses in Ukraine

https://www.youtube.com/watch?v=qnoKpXvj41A

The TL;DR is "It's complicated".
My bank account has no fees and I am legally entitled to having one.
(Unlike crypto exchanges where you can get booted off for any reason)
My bank account also has the awesome property of not broadcasting my entire payment history.

Besides, I even said that money is perhaps (definitely not BTC or Eth though) the one area where a blockchain actually solves a problem which might exist.

What else is there? NFTs are a truly stupid idea.
Yes, but McDonalds gets to say that's someone else's fault.
Followed by a "How Old Do You Feel?" poll?
There used to be another answer here, with a specific link, but now it's gone. I thought I upvoted it, but I'm worried my fumble fingers on my tiny phone downvoted it by accident.
While I tend to agree with most of the arguments that DS code is usually of low quality, and that DS are not well-trained in good development practices, I wonder if making them better coders is an attainable goal, or even a proper one. My reasons for that questioning:
- Data science requires a significant stack of knowledge beyond coding - in fact, to be a useful DS in a company, you already have to learn about maths, business domains, keep up with the latest algorithms, know how to manipulate data, present, run experiments, analyse them, know deep statistics and some others I am probably forgetting. Adding the SW dev skills on top of that and expecting them to become good developers is a tall order, and only a small percentage of the DS community will achieve it. With the level of demand for ML, I don’t know if this will deliver on the market needs - it’s not that it’s not attainable, I think it’s not scalable;
- People coming from a SW dev background tend to think DS is the same, just done by people who don’t code well. That is not true: code is the final product of software development, while it is but a tool for reaching the goal of finding a good ML approach for a DS. The consequence here is that SW dev has a much stronger reason for wanting good quality, maintainable code than DS does. When researching for a solution, many iterations of code written by DS will be discarded without ever having to go to production, and I don’t know if the overhead of keeping good tests, structuring the code, making small commits, etc., is justifiable in this scenario - the goal is not to have maintainable code, it is to see if the model+features has potential for solving the problem.
- Evolution and maintenance are also a problem, because the structure that’s good for operations doesn’t help the job of research - it’s not common for a DS to work in a pipeline structure (which seems to be the emerging pattern for MLOps), and forcing them to use that structure on all iterations after the first will have significant productivity issues, to the point of putting success at risk;

I don’t have a solution for the points above, and I understand that, once a promising approach has been found, the code starts to matter much more, because Ops will require it to be automated and executed in a reliable way. For now, what I do is to do the research in a very loose way, not caring about good SW practices. When I find something good, I start refactoring the code to meet the Ops expectations. But I’m a CS major with decades of experience in coding and ML - it’s not reasonable to expect the entire DS community to develop the same skills, it takes too long.

Any ideas out there?
That's not true at all. If you could use that implementation in a strict language (which you can't) you could equally-well use it in Haskell.
Do you have a specific example where this is tricking people?
This kind of leak is unacceptable. Everyone here is going to be in for a carpeting on Mahogany Row with the Auditors by the next paperclip audit.
I understand the push for stratospheric aerosols, but the alleged need for deeplearning is poorly justified.

All the points listed in favor of deeplearning in this article only point towards the need for heavy calculations, but I would say it's not deeplearning that's required, but instead very precise physical simulations.

For example to help the deployment of drones to spread the aerosols, I don't think that you can model winds better with deeplearning than with current models used by meteorological agencies. Or, at least, it does not seem to me the bottleneck here. Or, OK maybe there will be breakthroughs that would replace physical simulation-based meteorology by deeplearning models, but I don't think it is helpful right now, or you would need to do a lot more explaining to convince me.
The essay uses a class-oriented type system (they're clearly a .net developer), but the same ideas very much exist in non-OO type systems.

And the richest and most expressive type systems are arguably specifically non-OO. Nor are OO languages necessarily statically typed (Smalltalk, Self, Python, Ruby, Javascript, ...)
On my phone, the link to the CantSayAnything/About/Sticky page goes to a 404.

I thought Kelly Cotters paper was very interesting - it seems like “gaslighting” is becoming a more common way to call out people or companies who are not technically lying but are definitely communicating something that isn’t true. Unfortunately that’s a common enough thing now that it’s useful to have a simple reference.
In a stringly-typed world, you still end up with a purpose-tuned model of what an email is, how it's used, and what error cases are -- these just aren't implemented as qualities on a type.

There's a dozen approaches for it, many from the functional programming paradigm. But an example of one approach would be that your consumer functions become responsible for interrogating the data they'll act on -- through assertions or other verification means.

Comparing to the real world: my metal foundry doesn't yell if it gets a non-metal Type of material. But, the logical process it follows (heating to 1000+ *C) takes care of all but a handful of corner cases when you give my foundry the wrong data type.

The choice to wrap all the logic into a "Type" and then get mad when the model logic exists elsewhere is just a choice. And a weird one people get VERY OPINIONATED about.
I'm curious to see what the adoption of BlueSky will be if ever available

https://blueskyweb.xyz/blog

I don't understand why it's so hard for everyone to just have their own blog that is twitter-sized posts and you follow the people you want or don't.

No need for censorship or filtering because you simply don't follow people you find offensive?

No need for ads because it's your own app/data.

The problem is there needs to be an edge cache of each post and storage/bandwidth isn't "free" (just cheap these days).

The app/data is either entirely on your phone or browser.

I guess the thing about twitter/facebook is people want "discovery" and to profit off it by self-promotion. So it's like those drones in the sky no-one asked for, it's someone being obnoxious for attention and profit.

Just like usenet had its first spam sooner or later.
I guess you might be talking about a different language / environment than I'm used to, but even in the 100 assertion test case you get useful tracebacks in python. Testing lots of things at the same time means strictly speaking you're writing an integration test rather than a unit test, but still I don't see how it's a bad test. It's easy and stops buggy PRs going into production.

The test failures I see that are actually hard to debug are ones where the failures are difficult to reproduce due to random input, tests running in parallel and sharing the same filesystem etc. I don't think I've ever not known what assert was failing (although I guess in theory you could make that happen by catching AssertionError).
FWIW that's a pretty basic application called "units of measure". Some languages like F# have that natively.
It's also worth figuring out for yourself though! They're suprisingly easy to use (look up Expression<>).

It's incredibly useful once you know how, and encourages you to stop using reflection, passing magic strings as arguments, or having to use nameof().
>That said, I’m sure this is true for any large organizational unit

It is characteristic of all committee discussions and decisions, that every members has a vivid recollection of them, and that every members recollection of them differs violently from every other members recollection, consequently we accept the convention that the official decisions are those, and only those which have been officially recorded in the minutes by the officials, from which it emerges with an elegant inevitability, that any decision that has been officially reached will have been officially recorded in the minutes by the officials, and any decision which is not recorded in the minutes is not officially reached, even if one or more members believe they can recollect it, so in this particular case if the decision had been officially reached, it would have been officially recorded in the minutes, by the officials and it isn't, so it wasn't.
> put a spotlight on the big pharmaceutical companies that had brought them to market — especially Pfizer and Moderna

Moderna? The research startup that had only recently IPO'd and didn't have a single commercial product before covid? Seems weird to call it a "big pharmaceutical company".

I'd rather a few founders become billionaires from a successful startup than have Moderna gone bankrupt and lose the vaccines they were developing forever.
> bait and switch.

...Full self-driving...
> 105-255

> 2 points

Why am I not surprised.
> It's a very related problem.

It's not. You have the same problem regardless of type you place there.

> A string is a wrong model for an email address. But it's a pretty useful one.

Depends on use case. Perhaps it's an overkill in this toy example.

I've real life use cases with untrusted user input where having raw string as untrusted and some kind of verified type as trusted would eliminate whole swath of errors.
No no no, entirely not. OOP need not be statically typed at all; see Smalltalk.
Cloudflare’s This Week in Net from Web Summit (Lisbon, Portugal)
Capitalism, free markets, and democracy a.k.a. "liberalism" on balance has created the greatest era of flourishing and peace humanity has ever experienced--we all live twice as long thanks to it. This is not a defense of colonialism and American interventionism, its simply a statement that liberal systems work far better than any other that has ever been tried.
What else would you require, or what would be more appropriate?
Yikes! I understand the psych testing is quite thorough before you can work there, so that's a good catch.
Thats how environmental scientists spend funding, huh?
Drunk people freezing to death on the street is common everywhere, even in Europe.

One of my friends last winter, walked back home super drunk and passed out on the street. Instead of being happy he didn't freeze to death, he was angry some people called the ambulance for him that took him to the hospital, and got a €600 bill for it.
That's pretty much the logic especially at higher latitudes. People generally like more light in the evening rather than at 5am. But even though there really isn't enough light to go around in the morning in the winter months, people want to at least try to avoid sending kids to school (in particular) at zero dark thirty. (Have a 4:30a airport pickup on Sunday.)
Antarctica is still really dangerous when you consider how few people work there on average. This makes people very safety conscious even over seemingly unlikely events.

https://en.wikipedia.org/wiki/List_of_disasters_in_Antarctic...
That's just a matter of familiarity, though. And if you make a mistake, you'll discover it the first time the test fails - either you'll see too little output, or you'll see the test throw an exception or crash.
A colleague wrote a blog post here: https://idrissi.eu/post/mathematica
This problem has already been solved. Use something like https://en.m.wikipedia.org/wiki/ISO_3166-1_alpha-2 and get an authoritative list of countries / territories, including defunct ones like Yugoslavia and USSR. You still have to define the business logic of whether you want to keep a certain country record aligned with historical borders or with current borders, but that problem exists whether you have primitive type to represent countries or not...
If he lives in a sane country, that cost will be passed onto the firms making the packaging, and they'll have further financial incentive to stop making non recyclable packaging.

In countries run by and for faceless corporations they'll call it wishcycling and it becomes your fault.
> No one who understood verification thought it was a status symbol.

Doesn’t matter what the “in the know” understood, it’s what the blue checks perceived it to be. To them it was a hard to get item that only folks with some degree of “celebrity” received.
What Are Those Mysterious New Towers Looming over New York’s Sidewalks?
Individuals using drugs in a remote facility where screwups can lead to fatal results is a terrible idea. Yes, alcohol is entirely comparable to opiates, it has a similar endorphin-like effect. Beer is like opium, wine is like morphine, liquor is like heroin. As I see it, you might as well have photos of an opium den with some heroin needles lined up for the customer's use.
I treat it like a regular condiment. I will make a stir-fry, serve it, and mix some in on my plate. So like adding ketchup to my hamburger (I add it to hamburgers too).
Appropriate?
The Wolfram Language documentation of mathematics, the way it's accessible online as hypertext.
In a way it is kind of an ironic tragedy, that the followers of C church worship UNIX and Plan 9, while ignoring the end station from the priesters, Inferno and Limbo, where C was confined to the minimal trust base of the kernel and a couple of drivers, with everything else in userspace mostly written in Limbo.

Here is "runas" in Limbo, https://bitbucket.org/inferno-os/inferno-os/src/master/appl/...
sure but not with 10 billion people, same for Siberia, easy to forget it's not as large as it looks in flattened maps
I guess I'm only opinionated about it because I'm 100% not smart enough to get it right unless something stops me getting it wrong. ("It" can be pretty much anything here.) It's why I'm such a terrible Python programmer. The foundry analogy is spot on - there's nothing to stop me throwing my grandma in, so at some point you can bet I accidentally will.
FWIW, in Python, this is pytest’s entire thing (although it ends up grovelling into bytecode to achieve it).
Something can be clear, and it still takes years or even decades to resolve
Gore wouldn’t have invaded Iraq and would have made a much bigger push towards reducing carbon emissions.
> I can't imagine having a type for a persons name that holds checks anything but perhaps a strings length, certainly not a list of all possible names.

As always, that is very domain-specific: there are lots of countries with naming laws, some of which do have lists of legal names.
thank for the link to that nice article; it also has some other examples of symbolic math packages getting the wrong result
Thermologically true :D
> ... where this is not only possible, but the common case.

Couldn't not read that in Peter Sellers' voice https://m.youtube.com/watch?v=2yfXgu37iyI&t=2m36s

> ... to find a 630 lines long test "case" with 22 nondescript assertions along the way.

This is where tech team managers are abrogating their responsibility and job.

It's the job of the organization to set policy standards to outlaw things like this.

It's the job of the developer to cut as many corners of those policies as possible to ship code ASAP.

And it's the job of a tech team manager to set up a detailed but efficient process (code review sign offs!) that paper over the gap between the two in a sane way.

... none of which helps immediately with a legacy codebase that's @$&@'d, though.
For mocking, the parent comment means "swapping out the external calls with dummy calls", not "laughing at the developer"
You can’t just turn 3D into a verb without explaining what you consider to be in the scope of ‘3Ding’.

It seems to be 3D object/character modeling? And maybe a little bit of rigging?

Because there are plenty of other things people want to do ‘in 3D’ that are excluded from that very narrow field - like scene modeling, CAD, motion graphics, Sfx, game development, visualization, capture, etc…
I wish static typing were as uncontentious as units of measure.
> Subs cannot "shadowban" users themselves.

They can. It's now called a "bot ban" and used to be called a shadow ban. It's done by adding a user's name to the sub's Automoderator configuration.

> With a bot ban, some users won't realize they've been banned. [1]

There is more explanation on Reveddit's FAQ under What is a shadowban?

[1] https://www.reddit.com/r/AutoModerator/wiki/library#wiki_use...

[2] https://www.reveddit.com/about/faq/#shadowban
A container only knows about what's going on inside it though. If you want to hook those resources up with peers in a decoupled way, that requires an abstraction on top, preferably declarative, or else you faced with a substantial amount of manual (and thus costly and error-prone) management.

We could argue the merits of yaml and I'll happily concede it's not ideal, but the complexity isn't going away and the tools to manage it are pretty standard.
Unit of measures are a great example of what a type system can do, and something not enough languages support. F#[1] and Scala[2] are two that I know of that do support UOMs. Like you, I haven't had the need to use them in the domains I work in, but I imagine that they would be invaluable in certain contexts.

[1] https://learn.microsoft.com/en-us/dotnet/fsharp/language-ref...

[2] https://github.com/typelevel/squants
out of curiosity, is it mostly Cisco still funding it? what are the advantages over dpdk? mostly TCP?
My takeaway is that India can use this as a means to get greater internal investment - every $Xm dollars a copter costa is not sent to US firms but becomes grist to the mill for Indian metalworkers, Indian engine manufacturers etc etc.

Just keep the corruption out of the process and let the multiplier do its work.
My favorite conference videos have two features:

1. The slides are the main view with the speaker composited in a small window in the corner.

2. If there is a Q&A period the speaker repeats the question before answering.
Tests are not tech debt. You could have bad, brittle tests that you could consider debt but just having tests isn’t debt. Debt implies there is something you could do about it in the future to pay it down, which isn’t the case for a good test suite.
Reusing cups often require some level of washing, drying, and/or wiping.

It would be nice if there was more infrastructure for it.
As much as I admire the power behind the “wolfram language”, it’s just never going to be open sourced, never going to really be available for a hobbyist to learn, never viable for a startup to build their entire data analysis core value on top of, its just never going to happen… Stephen Wolfram would die before he gave up control, the entire thing is his precious child. His track record at Wolfram Research is well established.

Mathematica could be so much more, but basically until Stephen dies, it will remain an academic mathematical tool. It’s a complete coin flip as to when he dies the company will collapse or thrive, but it’s just so far away from anything they have plans for at the moment that it’s just impossible to guess.
> types are basic building blocks

Yes but they should also be compositional, one should build larger types from smaller types. This is how we scale to solving difficult problems.

> but currencies are a moving target and needs constant update to handle the quirks of the real world.

This is a separate issue orthogonal to types. The problem of modelling the real world and what models might be more generally useful. No model is perfect, all have trade-offs.

> In my book the string is a great way to store a country of origin

As an implementation using a string sounds pragmatic, but that should not be its type!
You should still create a currency type and parse into it. Then you won't accidentally pass an arbitrary string to a parameter that is supposed to be a currency.
I miss IRC too, but I don't miss the doxxing and DDoS nonsense. I don't have to setup a znc bouncer to connect to Discord. I don't have to take any precautions. It just works. I hate the client though, so I feel you on that. The lack of terminal integration with Discord is painful.
I think you're collectively missing my point; the two parents in this thread are phenomenal example of
https://i.kym-cdn.com/photos/images/newsfeed/002/355/607/670

Related, but it's pretty eye opening to see left-leaning people being marketed and fully sold a war.
I can only surmise this latest rehash of "support of troops" is about the best chance/narrative that team donkey has for the upcoming elections. Cognitive dissonance banalities(1) notwithstanding.

(1)https://www.theguardian.com/us-news/2022/oct/25/democrats-jo...
Correct, and for future reference:

i.e. - id est - "that is" (i.e. a clarifying restatement of what was just said)

e.g. - exempli gratia - "for example" ("I like to post comments about language and usage of English, e.g. clarifying the use of certain Latin abbreviations")
I wrote another comment in the thread that they have tried being a customer foundry and given up multiple times in the past. Around 2002 and 2009.
Topic modeling with semantic graphs: a different approach
Dimensionality reduction with UMAP combined with HDBSCAN is a popular topic modeling method found in a number of libraries. txtai takes a different approach with a semantic graph.

When enabled, txtai builds a semantic graph at index time as it's vectorizing data. These vector embeddings are then used to create relationships in the graph. Finally, community detection algorithms build topic clusters.

This approach has the advantage of only having to vectorize data once. It also has the advantage of better topic precision given there isn't a dimensionality reduction operation (UMAP).

Read more here: https://neuml.hashnode.dev/introducing-the-semantic-graph
Yeah, that is HN's reputation according to Reddit anyway. Truth is probably somewhere in the middle.
> So I can only assume the rule also prohibits any compound/Boolean expressions in the asserts then? Otherwise you can just combine any number of asserts into one

That's what's bound to happen under that rule. People just start writing their complex tests in helper functions, and then write

assert_true(myTotallySimpleAndFocusedTestOn(result))