skysight-inc/HackerNews huggingface dataset:
> Which part?

This part: "the type information only tells you how you can use doSomething. To know what is doSomething, you actually have to read the code :\" I think we're disagreeing on something quite fundamental here, based on "it doesn't tell you that bar depends on foo, and on foo's type. Also you have to read the body of bar, and also it is bad for code reuse."

(Although I am certainly open to the idea that "[I] failed to demonstrate it".)

A few things come up here:

1. Firstly, this whole example was to show that in languages which rely on this goto paradigm of error handling (like raising exceptions in python) it's impossible to know what result you will get from an expression. The Haskell example is supposed to demonstrate (and I think it _does_ demonstrate it) that with the right types, you can precisely and totally capture the result of an expression of computation.

2. I don't think it's true to say that (if I've understood you correctly) having functions call each other is bad for code re-use. At some point you're always going to call something else, and I don't think it makes sense to totally capture this in the type signature. I just don't see how this could work in any reasonable sense without making every single function call have it's own effect type, which you would list at the top level of any computation.

3. In Haskell, functions are pure, so actually you do know exactly what doSomething consumes, and it doesn't matter what getResult consumes or doesn't because that is totally circumscribed by the result type of doSomething. This might be a problem in impure languages, but I do not think it is a problem in Haskell.
The issue is getting the data on newer aesthetic styles.

The more and more platforms lock down access to their data, the harder it’ll be for models to stay up to date on art trends.

We just haven’t had image gen around long enough to witness a major style change like the skeuomorphic iPhone icons of old to the new modern flat ones.
It's really good for boring, line of business software (BLOBS).

The vast majority of business logic can be modelled with a handful of simple types and pattern matching. Very few design patterns are needed. And if you keep to the simple parts you can even teach the syntax (just the types) to non-technical contributors in an afternoon. Then they can read it and help verify that you implemented the business process correctly.

It's also just nice for how my brain works. I like being able to substitute terms and get an equivalent program. Or that I can remember a handful of transformation rules that often get me from a first cut of a program to an efficient, fast one.

And it's just fun.
Minor nitpick with this article, it claims Minneapolis doesn’t have a 21st St or 23rd St, but if you look at a map you will find that 21st St E runs between Chicago and Bloomington Ave one block south of Franklin. 23rd St E also exists in two 1-block segments between Chicago and Bloomington Ave as well. I used to live in this part of Philips.
I don't think the distinction is as clear-cut as you're making it out to be.

For example, HTTP 409 Conflict generally means an application-level conflict (e.g. an optimistic concurrency mechanism detected a conflict).

HTTP 422 Unprocessable Entity is also usually an application-level error (e.g. hash validation failure, or identifier not recognized by the server).
Microsoft kills legacy DRM support on Windows Media Player, Windows 7/ 8
If I could dissect a sauropod
What makes you believe that nonviolent communication is manipulation? It focuses on ways to hear unmet needs in others and to express unmet needs in a way that can be heard by others.

Have you read the book by chance?
I completely agree. I'm interested in making the Haskell tooling system better. I would welcome anyone with Haskell experience to let me know what you think would be the highest priority items here.

I'm also curious about the slowness of compilation and whether that's intrinsic to the design of GHC.
Audi built and competed with a Rally car using a regular TFSI engine that's generating power for the battery.

https://www.youtube.com/watch?v=7ZhtGlwHlLs
Rhetoric vs. Science
Tested it using the model in Google Colab and it did ok, but the output is truncated at the following line:

> [Appendix B](#appendix-B). Day

So not sure if it's the length of the page, or something else, but in the end, it doesn't really work?
Something tells me it wasn't directly just CEO telling everybody to ignore any concern, fake safety reports. Yes he is ultimately responsible, but at 1-2 levels below him are actually more responsible for setting culture and controls in given department, something proper investigation can easily uncover.
Something went wrong in the adoption process.

Haskell's biggest benefit is functions, not methods. To define a function, you need to stop directly mutating, and instead rely maps, folds, filters, etc. The bargain was: you give up your familiar and beloved for-loops, and in return you get software that will yield the same output given the same input.

So what happened with the adoption? The Java people willingly gave up the for-loops in favour of the Streams/maps/filters. But they didn't take up the reward of software that yields the same input given the same output.

What's something else in the top-5 killer Haskell features? No nulls. The value proposition is: if you have a value, then you have a value, no wondering about whether it's "uninitialised". The penalty you pay for this is more verbosity when representing missing values (i.e. Maybe).

Again, the penalty (verbose missing values ie. Optional<>) was adopted, and the reward (confidently-present values) was not.
Esp. on longer ISS trips. I can't believe this hasn't already been a sanctioned experiment.
What will happen if America's election result is contested?
Isn't that the idea behind EREVs (Extended Range EVs) which are wildly popular in China and probably just taking time to reach other markets?
It's at project's official wiki: https://gitlab.com/pheix/dcms-raku/-/wikis/home
But surely that's the point of this study? i.e. to help communicate this fact to the masses? You know, with evidence instead of hunches and stuff?
He would need to fire at least 30% of the staff to make a difference. You can't fix the rot that started with the McDonald Douglas purchase by changing one person.
> In this example bar's type signature doesn't tell you anything about what bar 'consumes'

Yes, it does: `bar` in your example is an `Int`, it has no arguments. That is captured precisely in the type signature, so I'm not sure what you're trying to say.
Yeah, as much as I can understand where he's coming from in his frustrations I'm not sure it's the most productive route unless he wins in the end. As they say, if you take a swing at the king you'd best not miss.
at least 3: black, salix, scabiosa
I can save you some of that research. The KeePass family of password managers are open source and based around a shared file format. They save your passwords in an encrypted file on your computer or phone’s local drive. An ecosystem of apps by different people can parse that file format (after you enter your master password), and at least one app can export as CSV or HTML, so migration is not a problem.

Since your passwords are in a local file, there is no online password manager that can be hacked. If you worry that your local password manager software will have malicious updates posted, you only have to read news at the time you download an update, which can be as infrequent as you like.

If you need to share passwords among your devices, you can store the encrypted file in a generic file syncing service such as Google Drive or Dropbox. Those services are less of a target for hackers than dedicated password managers, and even if someone obtains that file, your passwords will be safe as long as your master password is strong.

Specific KeePass clients I recommend: https://keepassxc.org/ on desktop, https://github.com/PhilippC/keepass2android on Android.
It's about tradeoffs, the device is barely 7 months old at this point. Thankfully the fix is fairly obvious too.
Pageants were far and between and everyone knew participants had to prepare and they are not walking like fit/dressed that day to day.

Nowadays we have eternal pageant on the internet and lots faking it like they live/sleep/shower in full makeup and perfect fit.
They didn't pick a winner. They (Ondsel and others) evaluated all the workbenches, chose the best ideas and built a new workbench around a new (well, new to C++) solver.

There was an Ondsel blog post about this:

https://ondsel.com/blog/default-assembly-workbench-7/
The actual data doesn't show the future, does it?

What happens if a commercial companies beats its competitors?

Prices rise.
What would be example of good stuff that does not get to the top?
You seem to have enough savings and a social net (parents) to fall back to. Makes sense to prioritize mental health at this point. Good luck with the interviews. It might be good to tell recruiters a different story, e.g. you wanted to take care of your parents.
EU boosts European AI developers with the AI Factories call for proposals
> materialized view that includes a ROW_NUMBER() or RANK() function

That won't work, as the materialized view's query is applied per inserted chunk, i.e. to each row separately in the most extreme cases.
Unfortunately we still need oral antibiotics for things like
OTOH once you as an outsider know that sometimes the AVP is lying to you about where the wearer is looking why would you ever trust it?

For example, you could then use the AVP to stare at people and then claim afterwards you were doing no such thing.
And we know the only viable option would be simulated mirror shades
Pure functions are a crazy useful abstractions. Complex business logic? Extract it into a type-safe pure function. Still to "unsafe"? Testing pure functions are fast and simple. Unclear what a complex function does? Extract it into meaningful pure functions.
NASA is scientific yes. But it's just as impacted by the defense industry's corruption of the US government where politicians go out of their way to interfere with procurement to funnel it to their donors and the cost of massively bloated projects which further harms the science they can do and harms competition.
I am not American either. What I wrote came as a direct observation and personal contact with non-american police, in two different countries.
add sunglasses to the avatar while typing
Unfortunately we still need oral antibiotics for things like Lyme Disease and Rocky Mountain Spotted Fever. As tick-borne illnesses go up with longer summer seasons, we'll probably have to prescribe more antibiotics. Oh well
This is remarkable. Enterprise software is its own microcosmos of pain.
"You look lonely. I can fix that."

I know it's a long way off, but each day that passes brings us closer to this.

I imagine tools like this could be useful for spectrum disorder issues like recognizing emotional state, or improving conversational skills.

Also, the kinds of emotional experiences we can have in the context of dialog with another person are difficult to achieve on our own, so therapeutic opportunities and interpersonal skills building could be valuable options there as well.
Fair enough, if that's what you prefer than you might as well, it's more of a personal preference. My main monitor is an ultra-wide, so it ends up using less than 20% of the total width. Though I can see it being tough to have a good solution that works everywhere.
You can use this sim to subscribe to Youtube, they will ask 14.99 zl instead of $4.99, that converts to $3.85 ;-)
Does anyone know if the reason they performed the EVA during the night was to prevent overheating? The crew reported temperatures (presumably of the suit) of 33.8C during the EVAs.
Physiology restores purpose to evolutionary biology (2023)
Huawei seeks to steal spotlight from Apple with launch of $2,800 tri-fold phone
The downside to keeping skilled labour 'hot' are many. First of all, if you have skilled labor, instead of of keeping them 'hot' actually 'eat' them. Ok, the analogy breaks down. But why keep them 'hot' just have them build actually useful stuff instead. Its not like there is a lack of useful things they could be doing.

And second giving people bullshit useless projects like SLS, does not actually keep them 'hot'. Its more like warmed up Pizza. The people and more importantly organization lose the actual ability to do things quickly at reasonable prices.

Somehow it seems acceptable that SLS will cost more then 30 billion $ in development cost and 2-4 more billion $ per launch. Not to mention the time.

Don't misunderstand political pork as actually strategic workforce development or long term government policy. That just what you personally wish it to be, not what it actually is.
That's why I wrote will become.

SpaceX doesn't have real competition after Boeing failed.

What happens in such a monopoly?

The prices rise.
> Zero dependencies

This is something seldom attempted, but I congratulate you. Go is one of a few languages that really is batteries-included. Just about anything you could need is included in the stdlib.
These languages don't have null safety. Haskell does have null safety, but at the cost of the additional complexity that comes with Maybe wrapping. So it's not as unambiguously an improvement as union typing is (which adds less complexity but still grants null safety).
When Voyager failed last year with a CMOS memory error, one of the big problems was that a bunch of low level information was gone or conflicting.
For example, they sometimes had to guess assembler instructions because the code printouts were low quality photocopied pages. Or because there were handwritten comments or comments scratched out with pencil without any clue about why it was done.

One saving grace was the fact that the architecture and the code space was simple enough so that they could reason through the symptoms and actions to take, something that would have been much harder with modern spacecraft.

Check out this amazing talk:
https://youtu.be/dF_9YcehCZo?si=W_b3NJ7vgxaYS1__
Eye tracking data is incredibly sensitive and privacy-concerning.

HN tends to dislike Microsoft, but they went to great lengths to build a HoloLens system where eye tracking was both useful and safe.

The eye tracking data never left the device, and was never directly available to the application. As a developer, you registered targets or gestures you were interested in, and the platform told you when the user for example looked to activate your target.

Lots of subtlety and care went into the design, so yes, the first six things you think of as concerns or exploits or problems were addressed, and a bunch more you haven't thought of yet.

If this is a space you care about, read up on HoloLens eye tracking.

It's pretty inexcusable if Apple is providing raw eye tracking streams to app developers. The exploits are too easy any too prevalent. [EDIT ADDED: the article is behind a paywall but it sounds from comments here like Apple is not providing raw eye tracking streams, this is about 3rd parties watching your eyes to extract your virtual typing while you are on a conference call]
INP is nigh impossible to diagnose and fix without dedicated tooling. I recently ran into what I think is a browser bug with the dialog tag that was costing us 50ms of INP.
> That's why, if you like the Haskell philosophy, why would you restrict yourself to Haskell?

In the essay, I didn't say "Haskell is the only thing you should use", what I said was:

> Many languages have bits of these features, but only a few have all of them, and, of those languages (others include Idris, Agda, and Lean), Haskell is the most mature, and therefore has the largest ecosystem.

On this:

> It's not bleeding edge any more.

"Bleeding edge" is certainly not something I've used as a benefit in this essay, so not really sure where this comes from (unless you're not actually responding to the linked essay itself, but rather to ... something else?).
That why I wrote will become.

Remember the time when cloud services made things cheaper?

Guess what happened next?
Did you send me one?
Scroll down to the "Transnational Corruption in States with High CPI Scores" bit on that article.
Yes, but they were never able to get the performance to the point where it could be used as regular memory as opposed to storage (SSD).
Not sure, it's been a long time since I played. But I don't think you could completely lose it.
But if nothing is done, then something like that will happen at some point.
It may be an explosion, or it might leak out over a period of time.
No matter what it will cause major damage, and we wont know that is
has happened until it is pretty much over.

If they discover a bomb like this leaking most dangerous chemicals into the
sea they don't have any way of addressing it I guess.
Just to start, I want to acknowledge that the problem space is tremendously complex; the FreeCAD developers have put in a lot of effort and it's amazing that a project like FreeCAD exists at all.

Not trying to disrespect the other FreeCAD developers, but it seems like things have improved remarkably since ondsel started taking a more active role.

The project seemed to exhibit a (common) impulse to prioritize extensibility too much. The "workbench" architecture and python API let you do some really neat stuff if you're willing to dig into the weeds. But, from the perspective of a community outsider (so take it with a grain of salt), the development process seemed to be a good example of Conway's Law in action. The workbenches let everyone have their own sub-projects to manage without stepping on each other's toes. This led to a lot of resulting complexities, inconsistencies, and instabilities, which made the approach a net negative (imo) in terms of tradeoffs.

With ondsel, there's been more focus on holistic improvements and getting the individual modules working together more smoothly, which I greatly appreciate.
that's touched on in the article. It may be possible as a niche, but there is a whole cottage industry working to bypass the AI detectors.
You mean like Insulin in the US? Or healthcare or housing or education etc.?
I struggle to conceive of the sheer number of working professionals in our global economy right now that have received an irreversible taint from the corporate piracy era. This is going to take a couple generations to fully go away I suspect, and of course that assumes that it ever does since unqualified MBA holders are still being hired and still running profitable enterprises into the fucking ground left and right.
the article is less micromanag'ey than the title implies, and maybe describes some constructive precision that a newer manager who had come up out of tech might have some hesitancy to apply. it seemed more like self deprecation to me.

however, agreed that actual micromanagement is an antipattern. when one understands management as "to extract value from," micromanagement is the definition of doing it poorly. micro-value-extraction is as obtuse as it sounds.

doing work through other hands instead of taking the output and delivering it to who they are managing on behalf of is almost always a waste of value. I think of it as being as weird as living in a one bedroom apartment and taking time away from work to supervise your housekeeper while they work.
When I redid Glypha (an old shareware game I wrote) last year for Steam, I decided to go with B&W pixel art for the game — even though in other ways I bent to modern hardware (a larger 16:9 screen size for example).

That B&W pixel art definitely was a defining feature of the era.
I was on a project as an SME that consisted of software developers that were very junior and their manager was also several rungs down the totem poll from me and my peers. The devs were treated so poorly with things like this and worse i raised an HR case. There seems to be this gauntlet that software devs have to go through before they can work with actual competent leadership (at least at my firm). I felt bad for them and coached them through the soft skills required to deal with stupid.
People are allowed to be outraged that Taylor Swift generates a larger carbon footprint than the average person... This is a pretty solipsistic point of view that acknowledges that we do indeed live in a society. Doesn't mean we can't try to do better in the face of impending doom.
Forget about a digital twin, they don’t even have an assembler for the CPUs. It’s all hex values.
While “keeping skill labor “hot”’ sounds great in theory, the practical example of US space industry pre-SpaceX leads me to grant greater weight to “not actually great.”
Geometric relationships between engine mounts, engine itself, and engine output shaft into the transmission varies between each models. Trying to "standardize" that will be like trying to design a one-size-fits-all laptop motherboard; no two models are the same, so it won't work.
If you like OpenSCAD but want a fillet or two and STEP export, Build123d is great also.
If it costs a shitload of money you can.
(or absent in the case of input parameters)
It makes perfect sense when you realize those sorts of things aren't about helping American industry or promoting sustainable energy. They are strategic campaign events meant to appeal to union bosses who can help them maintain power.
Domain squatting was a thing long before package name squatting.
that was my first impression, but perspective distortion means distortion in all the photo parallel lines. Here only the humans and a small part of the wall near the ponytail are distorted. All lines in the table look strangely right.

It seems like a sort of bubble distortion field was aimed at modify only the arm, face and ear proportions of Mr Mackey for some reason. The ear of the other man may had been altered also, but I could we wrong here.

The man at the left lacks a finger also, but that could be a past accident.

All photos look very post-processed. The real work at the sea and life in a boat does not look like this at all.
How do you keep track of changes that are made in apps you use daly?
If you work in a profession like marketing, software development or in these days, almost any profession with a digital component you will use multiple apps on a daily basis.

Do you read all the marketing emails they put out? I doubt it...

While most can be missed, you might also be missing out on new feature announcements.

To stop email spam we have designed https://www.fabulas.app . Here, you can track all the apps you use for free. We track their product updates and create one summary news feed and a weekly newsletter for you so your up to date in 1min.
Absolutely, I 100% agree. Ubisoft especially is terrible at this.