skysight-inc/HackerNews huggingface dataset:
> There is a strange... kind of poetry with Haskell. It is like math on wheels [...] pure and dream-like

For me too there is a feeling of poetry... but for me it's more the nails-on-blackboard grating of awful poetry, and the ice-pick-to-ears screeching of abrading subway wheels. :)

Lisps merely inspire me towards elegant craftsmanship. But Haskell tempts me to dream of more. It's my fault, but ouch.

Dreams of math made manifest. Of materializing a lattice of theories, each with types and operators and laws, simply extensible and composable - a push-out lattice. Dreams of programming that's more math than plumbing. And maybe someday, some future Haskell Next will permit that flight, that dance. But that's not Haskell.

Someone I know, will pull up the deep math of a problem domain, model it in Coq, and mentally compile it to Haskell, extending GHC internals as needed to better serve as compiler target. For a wetware compiler that gets only very limited support from current tooling. I can't do that. Not even close. I need a language and tooling that's on the same page as me, to serve as an extended self. And for this, that's not Haskell.

Many years back, someone in a conversation suggested a core skill of a professional C++ programmer, was cataloging the things which seem like good ideas, and might even serve well in some other OO language, but which tended to go badly in that era's C++. Along with many baroque workaround to salvage others.

Fewer years back, I'd a conversation about using Haskell in education. We talked of alternate preludes to remove historical clutter, and extensions to remove historical limitations. And turned up a fun divergence - he thought of learning Haskell as fairly easy, and I thought of it as ghastly hard. For his default context was programming in the small - vocabulary, functional mindset and such. And mine was... you the start at the other end, with the dream, the no-extraneous-complexity pure essence of what is needed... and now you have to learn the zoo of baroque work arounds, and crippling limitations, by which Haskell fails the dream.
I'm surprised nobody mentioned Jami https://jami.net/
OSINT
If you really want to, Haskell also has a few macro systems. They are just not used nearly as much as in Lisp.
I read that.

I still don't know what the title / that line is supposed to mean.
Also, I'm like why a laptop? Why not an old desktop?

I personally don't enjoy writing with a laptop-sized monitor for long periods of time (ergonomically speaking). It's much more comfortable writing on a 24" LCD.
>> ... a long scroll of 20 ... blocks and titles none of which mean anything on their own

> frankly, it has a terrible UX

I don't follow these critiques. The content and navigation of the site is quite clear to me. The trackpad/wheel scrolling stutters very slightly in FireFox on Windows.

EDIT: And hey, it's in Dark Mode!
I'm not sure that there's any "peak" to compare it to. I mean, my whole wishlist for the RSS ecosystem is basically:

1) people stop inexplicably calling it "dead"

Being "dead" has its fringe benefits, at least, like no one proposing changes for the sake of change - it gets to be happily frozen and useful with no one trying to e.g. update it from the XML-everything mania of its time (embarassing in hindsight) to the JSON-everything mania of our time (I'm worried there won't even be a hindsight for it to be embarassing in).

Well, except when people propose to replace it with something else because it's "dead" (sorry, I have no interest in following anyone on activitypub - if I want updates from your blog, I will poll the RSS feed you have kindly provided).
They do now, but there were decades of massive profit between the ad ban and the huge taxes. In the early 90s a carton was still like $10.
> shampoo

Since the coronavirus measures have been in place, I've been showering daily and mostly only 'shampoo'ing using conditioner in place of shampoo + conditioner and shampoo about once or twice a week. Like the post it was greasy at first then pretty normal with or without shampoo. Hair seems just as clean and much healthier.

> deodorant

Need varies. "Several years ago, scientists discovered a gene that was dubbed “ABCC11”. The team who discovered the gene found that it was a key determinant in whether a person will produce dry or wet earwax. Since then, it has also been discovered that people who produce “wet” ear wax also produce chemicals in their armpits that cause underarm odor when metabolized by bacteria. Those who produce dry ear wax lack these chemicals."
https://lite.cnn.com/en/article/h_8bec16d7f6b2bd5acde09e9dcd...

Barneys and Brooks Brothers RIP.
That analogy only works if banks were paying people to pretend to rob them all day every day and show them how they did it, and also underpaying them.

so, no.
Excited to hear this! Thanks!
sorry for my question but how is that impressive really? Aren't already a fair amount of other countries sending people to the international space station and back? I think even the founder of Cirque du Soleil went right?

That's cool that spaceX is doing it, but I miss how this is such a big event?
> The internet needs its own decentralized currency

Why?
Well, that was a simple scenario with a simple answer.
But there are many other things powerful adversaries could do. For example, what happens when miner traffic itself is disrupted and the network is forcibly split between China and the rest of the world? Leaving everyone at risk of having their transactions overwritten when the network is allowed to reintegrate?

Anyway, we don't need a 100% effective ban to get an effect. A 90% ban may well be good enough for any practical purpose. Your example is a good one - sure, there are ways to get around 'internet kill switches' several countries have, but in practice these (unfortunately) work.

The fact that some people in a cafe can get one cryptocurrency transfer going is no defeat for a ban, so long as the ban is effective enough to reach its intended effects (e.g. making ransomware useless).
If you don't like flip, you could also do

xs :: [Int]
xs =
5
& (`take` [1, 2, 3])
& filter (/= 1)
& head
& (`take` [1, 2, 3])

But I'm not sure that's a better style than flip.

I really like `on` from Data.Function, too.
I'd argue on the scale of a company like in this example and other high-profile example that if you're integrating software with such glaring holes in your network then you're the one who is culpable.

Obviously if there are unknown vulnerabilities that is one thing, but there is a level of due diligence you should practice as the operator.
its two order of magnitude better than the unilateral pricing set by companies to their white hack programs, which white hat people have to fight for.
some employers do pay for employee transportation but for this case it depends on how you got hired. this is a point for negotiation.

assuming you previously lived near the office and then decided to move without there being any benefit to the employer then why should they pay for your additional expenses?

unless of course they decide to cut your salary because of your new location. then it's up to negotiations again.
Cash can hide the source just as easily. Laundering is the real problem. Yes, even in Russia.

Unless you're best friends with an oligarch, and if that's the case, you can always get Deutsche Bank to do it for you.
> Aesthetics should happen as a result of trying to make a tool highly usable.

Once again someone on HN phrases something better then I could hope to.

> Ever performed your craft and you just nail it and as a side effect the thing looks positively beautiful?

Best feeling in the world, on the rare occasions I manage it.
Pycharm IDE for Dummies- Beginners Guide
The equity premium and the 1% [pdf]
> Any way I can get old Ambrosia games?

https://macintoshgarden.org/ has most of them. (Sadly, Ambrosia appears to have shut down entirely. End of an era...)
I used to care about my desktop background. But as I've gotten older I find the only time I see it is when I close every window, and sometimes I can go for weeks without closing every window. So now I just leave it as the default because I look at it <1% of the time anyway
In an era of open access journals, and a circumstance where the vast majority of PhD students don't end up gaining an academic job, perhaps its time to both drop the convention that lecturers research and researchers lecture.

The state will have to play the role in funding individual research, since private institutions may want to keep knowledge to themselves as a competitive advantage, or otherwise would be unwilling to fund research e.g. in the humanities.
I definitely see that being possible. I think it helps that I spend an hour everyday in a saltwater pool. I’m 99% sure I don’t stink at all: I’m in court sitting a few feet away from very frank attorneys almost every day. They’d tell me if it was otherwise.

Edit, to add: the people who I work with tell me how I dress like shit regularly... I’m certain they’d tell me if I smelled as well.
You’d only want to use a mixer where your transaction represents a small fraction of the total volume (otherwise it doesn’t provide much anonymity). An exit scam isn’t so appealing in that case. If a mixer charges a 1% fee, with an average delay of 1 hour, the ongoing fee earns more than a one-time exit scam of all transactions in flight after just four or five days. It takes time to establish a reputable mixer and scale up, so your wouldn’t ruin it just to get under a week of profit early. Maybe they’d choose to do the exit scam if a really anomalous huge sum showed up, which is so large they can’t mix it effectively anyway. I don’t know if $4M is a lot by those standards.
Emphasizing the point and shoot cameras made perfect sense for Kodak, because it encouraged people to take more pictures and they made their money on the pictures. Same reason Google encourages everyone to use the web.

In 2001 it was obvious that they were pinning their hopes on everyone still printing pictures. The technologies they were pushing were related to printing, but they couldn't see that printing was a dead end.
People are buying mostly the same stuff, just not in-person from downtown shops.
sure yeah, a deflationary currency crashes back to $2.50 and institutions are turned off of it for good

but the utility stays the same at $2.50 or $25,000 (offline-for-most, stateless monetary system with managed/predictable supply)

the same utility is inherited by most of other blockchain technologies
> Did yours have a particularly old Wi-Fi card in it?

From lspci:

03:00.0 Network controller: Qualcomm Atheros QCA9565 / AR9565 Wireless Network Adapter (rev 01)

I don't know whether that is an old card or not. I think the laptop was in the $300-$400 range when we got it. Inspiron 15-3551, came with Ubuntu pre-installed, which has since been swapped out for Debian.

This Dell support link [1] seems to confirm that it is 2.4Ghz only.

[1] https://www.dell.com/community/Networking-Internet-Bluetooth...
I don't know about French but "oma" is the medical suffix for swelling/growth, whether benign or malignant. E.g. sarcoma/carcinoma/lymphoma/melanoma/hematoma.
The Wright flyer to Apollo 11 was about 60 years, for reference.
Or you can use >>> from Data.Function, if you prefer to go point-free.
An ETERNAL phrase/300 characters per 1 dollar
buy ETERNAL a phrase of 300 characters for 1 dollar!
ReasonML is a syntax and a set of tools. If you prefer the OCaml syntax, by all means use that. If you prefer the standard OCaml tooling, by all means use those. A few reasons to look at Reason might be:

- It gets rid of syntax ambiguities like the 'dangling else' problem

- It introduces conveniences like line comments and JSX

- The tooling includes Esy, which offers an npm-like package management experience including lockfiles and build artifact caching for faster builds across projects

- The community is nice, close-knit, and helpful.
> Maybe we’re approaching a point where we can actually harness this knowledge, make radical progress in how we treat one another, and become a species worthy of the title Homo sapiens.

These moral arguments always imply that we can pronounce the way things ought to be and that it's just a matter of finding a way to make everyone conform to the "correct" vision for humanity.

But there's a danger in homogeneous crops, flocks, and societies. Having everyone pulling in the same direction will surely have unintended consequences that may well do more harm than good when the final tally is taken.
CEO Stress, Aging, and Death
I'd recommend reading "Inspired", specifically the two chapters on Product Roadmaps in Part III
* A hell of a lot of work in ICT is not following the design goals you were taught. its ok to call it out, but you have to be prepared for some initial shocks on this. If you want to do it by the book, be prepared to say so up front and find your employment choices narrow. Equally, don't settle for bad.

* A hell of a lot of work in ICT is about people. Your people skills are going to count for a lot. If you skipped the group work, be prepared for a shock: you need to know how to work in a group.

* People want to know you have outside interests so the "I was lead scout in my school" thing is not un-important but it when it comes down to it, it got you looked at, it didn't make the job.

* Whiteboard coding is a traaap. Run away. "do this at home and then report back" is better. 3 days coding with the group is maybe best.

* If you haven't been applying yet, you are (to some extent) late. You need to be applying NOW. You should have been applying months ago.

* As a former manager, I routinely expected new hires from uni to move on inside 18 months. It sucks. but its normal. Don't feel trapped. Lovely if you stay and fit, but many don't. The mistakes you make in a first job from uni can be left behind by moving on. Your first year is learning how to work.
Is it just me or Microsoft has a track record of ruining products they acquired?
Skype, Nokia, Minecraft, Wunderlist...

And I am afraid about fate of the GitHub ...

There is a huge list here:
https://en.wikipedia.org/wiki/List_of_mergers_and_acquisitio...

how many of those survived?
GHC is the most complicated compiler of any language (or very near to it), except perhaps Mathematica which is similar:

It's an optimizer for a graph-reduction engine.

It doesn't mean much to call out "special support" for any one bit of style of programming, since the language itself has nearly no concept of performance -- you just write functional code and the compiler will find the fastest runtime computation of the evaluation that it can.
What's interesting is that Ed Kmett isn't even a dyed in the wool Haskeller. He has more than a foot in the C++ world.

He's quite brilliant, but I still haven't really gotten used to the full power of lenses, yet. I only used them in simple ways.
I would assume one address with 377k transactions that has seen over 131 million BTC move through it strongly implies it's some sort of tumbler address. I'm not sure why reusing one address like this would make any sense though...
Flight sims and Space sims are unplayable to me now without VR. It’s a completely different experience, you can’t go back once you try it.
How about stop using Windows servers in enterprise environments???
The site looks and performs fine to me with the redesign. The problems I have with it are the obnoxious "open in app!" Pop-up and the subreddit preview that interrupts the comment section... Totally unacceptable.
You might be able to do some type trickery with heterogeneous lists? But I don't think it would be worth it.
Honestly I was just randomly going around the Internet and found a Pleroma instance and thought it looked cool, so submitted it. I didn't see the Mastodon submission beforehand, which I'm also a fan of. I do think it seems decently collaborative for now, so not too worried. Getting normal users to use anything other than the large winner in an area (Twitter, Reddit, Discord, etc) is what the true challenge is imo.
I see thanks for replying
Interestingly function composition is also the mapping operator (fmap) for the corresponding functor.
"there's more cases because we're going more testing" might be the most uninformed take there is.
Yeah and the US is a democracy, and Christians are Christlike. We don't always live up to our ideals.
It's fair to point out Dragon/F9 is an advanced vehicle that is improving the state of the art after about 50 years of stagnation. The change in sign from negative (stagnation) to strongly positive is worth noting, even if it's relatively incremental vs Starship.
Ah that's too bad, it really does offer an elegant and efficient programming stack. Admittedly the syntax errors are historically bad but the editor support tool, Merlin, offers more help with those, with messages like "Syntax error after ... expecting `=' "
And the King, having vanquished his foe at great cost, surveyed the empty field and muttered: "It matters not, for in the end the claw chooses who will go and who will stay".
Usage of monospace font and questionable accessibility practices put into question the authority of this resource.

That aside, what most UI/UX rules fail to capture is that our experience of X exists over time and in larger context. Aside from things with near-zero intended lifespan (which this one may well be—I won’t pretend I know author’s intention), it is not only (and not so much) important how a product or resource is experienced right at this moment, but also how it will feel after a while, how it would evolve, how it interoperates with other software or resources (including search engines), what resources are required to maintain it, etc. True beauty arises from functionality and sustainability.
5) is objectively false, CPMs were down on average during this time period, mostly due to lower demand because of COVID.

Facebook runs a VCG auction and is transparent around how payment works on their site, so there's not really any way for them to "raise prices" singlehandedly outside of this mechanism without being legally liable.
I still use an old Acer laptop from 2008 as my private laptop. It's more than enough for my needs, but apart from it being good enough for my needs, there's not really any particular reason for using that specific machine (apart from the keyboard being amazing). It simply works fine, and I see no reason to replace it.

I don't know why there would be any specific word for it. I just use it.
There are projects like Miximus, which is an Eth tumbler with no operator. Participants deposit funds into a smart contract, then when they want to withdraw later, they use zero-knowledge proofs to show that they know one of the private keys without revealing which one.

There's also Zcash, which applies similar logic to all shielded transactions.
>I can't trust an open protocol and platform that lets me set up a server and peer with Gab today with no restriction

It's Gab that didn't get the point of Mastodon, thinking they could somehow monopolize (and monetize) the Fediverse, and then getting mad when they found out a decentralized peering system doesn't mean a captive audience they could firehose.
SN1996cr, the nearby supernova no one noticed
Doesn't the example video show all four cores mostly hovering at around 40-50% CPU usage (with occasional dips to 10-20%)?

What else was the machine doing at the time?
How is it uninformed ?
And MacPorts should still support a bunch of things too.
I will very much miss brooks brothers. their non-iron shirts were absolutely amazing.

anyone have a source for something as good?
Ah, that must be why. I was going to say, I spent many a bored hour in Lord & Taylor after being dragged there by my mom :)
Well my math is quite rusty, but if I remember correctly, you can "define" reals using Dedekind cuts[1] made of rational numbers - in this way you can trivially prove that a bounded increasing sequence converges to a real number (i.e., the reals are complete), without assuming anything about uncountability of reals.

[1] https://en.wikipedia.org/wiki/Dedekind_cut
Well, I can't say I regret not checking first.
It's true that Bitcoin is a poor medium of exchange: it's not stable, has slow transaction times, does not work well with mobile devices, and has intimidating identifiers, but it did open the door to new ideas that will likely soon have a huge impact on exactly the uses you're describing.
I wish we lived in a world where this was true.

This is the biggest problem with tech today, making "eye catchy" software which is horrible to use and getting anything done (and I mean simple things as making a payment if it's just little bit different than the "designer" imagined, for example you want to add a note) is so frustrating because it takes so much time. Yet it was not like that few years ago.

Thanks apple I guess ?

EDIT: And then to make the software "easier to use" security goes down the drain. There is a small fintech bank where all you need to know is email and 6 digit pin number to pair the account with a phone. That is, the 6 digit pin number is all you need to know to access the customer's funds. Now keep in mind attacker wouldn't care about a specific account, just get loads of customer emails and try the most common pin numbers and fish what you can - there is no notification when a new device is paired either, indeed.

Not really the best user experience and use of my time if I lose my money and need to fight with the fintech bank to get it back or when my account gets locked needlessly.

The same goes for the constant redesigns. How is that mindful to the user if you change everything (again) so they need to spend their time to learn again how to use your app just to get the same stuff done as before.
Oof. Depending on how they store authentication data, it might be possible to get someone's session token. Let's hope the cookies are "HttpOnly".
Bank Secretary : So, people hire you to break into their places... to make sure no one can break into their places?

Martin Bishop : It's a living.

Bank Secretary : Not a very good one.
Would a log message saying “not using the GPU, unable to find GPU” help?
Thank you for making and sharing! I hope this was an educational endeavor. Whatever feedback you receive here, remember to think of it as suggestions that only you can interpret and assimilate.
An often overlooked part of building and maintaining your roadmap is also helping define what you are not going to build.
Couldn't it just be filled with voters?
I thought there was a law or rules of civil procedure change that made that not possible any more?
Much of what we call "tech" is 10 to 20 old technology. We still call an interactive website tech, but in reality, they're no more cutting edge now than CDs were in 2010.

The fact that it's not new technology is part of why there's so much competition and so much of the market is controlled by established players.

It used to be possible to reach a massive audience with a trivial iPhone app 10 years ago or with a plain text blog a few years before that.

New those spaces are crowded but there are new ones opening up.
If there isn't an actual infinity of Natural numbers, which is the largest?
AI progress including GPT-3, Biotech progress including anything related to solving aging and curing diseases, decentralization progress including everything from finance to chat to social media