skysight-inc/HackerNews huggingface dataset:
For those who, like me, had trouble figuring out the case ID search system:

There are four fields in "case ID". The first is for the county code ("05251"). The second is for city code, which isn't present in these. The third is for the case type, which is FE (felony). The fourth is for the specific case number, which is /CR.*/

EDIT: Sadly, to actually read any of the documents requires a $25/month description.

EDIT2: So apparently those first fields are supposed to be autofilled by the dropdowns, but this doesn't work on my phone. Given the following message on the landing page, this isn't too surprising: "This Web Based Electronic Public Access application requires a 128 bit Cipher Strength on your Internet Explorer. To verify this click on 'Help' menu item and select 'About Internet Explorer'. If it's less than 128 bit click on link 'Update Information' to update Cipher Strength."
Other than actual share rounds and shareholder meetings, the company doesn't actually see any result from investments.
It didn't get off quickly.

It's over day old and has 1665 points. HN news gradually get lower in the rank as they get older.
Hi! Reading your tutorial I wanted to leave a quick comment on HN and was worried you wouldn't see it. Nice to see you're present!

Thanks, I liked reading it a lot. It's a good refresher, since I never use haskell but have read about this a couple of times.

The tutorial appears great on mobile, so I was able to refresh my memory very quickly. However, the code boxes had a very small font. I think this could me easily fixed with fome html-fu on the meta tag or the sizing of the box/font.

I also think that it would be great it you could explain at the end what is a counterexample input for the small haskell program. For example, if the user inputs a file that doesn't exist, then the readFile returns Nothing, then putStrLn returns Nothing. There's a sentence in the conclusion that explains that monads are nice to use but not why. I understand that it deals with values inside contexes, but in practice how does it affect development?
I agree. However, I don't believe anyone has ever been constrained or limited by UML. They might be constrained by not knowing even the basics of UML, but that's not UML's failing.
I think the initial model, where they charged 50$ a month, could have worked.

But then the douchebags moved in with they're brilliant "what we lose per customer we make up in volume" philosophy.

Making up in volume they definitely did.
You mean something like this (code autocompletion with deep learning)?

https://tabnine.com/blog/deep
Divestment makes the shares cheaper for less responsible investors, who thank you for the value you let them have for less money.
What's next ? Custom animated emoticons in your e-mails ?
All I have is a lot of anecdotal evidence. But it's evidence nonetheless. Stuff like this wouldn't simply not happen or noticed 10 years ago but today it is a big deal.

Well, it's because I believe it is something big and a giant problem.
I am not sure the product is really any better. There are a bunch of cute little old things around the printer, they have cool signs and I don't mind the fruit water. There are some other goods things like being able to build a virtual network of devices and things like that, which would be much more problematic without a single provider.

But I would settle for wifi that always works (been working on this in our own little corner of WeWork for a couple of weeks) and coffee that was ready before 9. It would be great if we could just scan our badge at the printer.

I feel like they provide insufficient attention to the basics and really focus on what they think provides differentiation. Maybe in a year I will think differently but if I had to pick a different office space today I don't think I would be any more likely to rent a WeWork given their brand.
I understand that you have to focus your resources onto Chromium; but don't count Firefox out yet. The way Google is behaving nowadays coupled with the progress that Firefox keeps making, there will be a sizable group of us Firefox users for the foreseeable future. And, we're a vocal bunch, too!
WHERE IS THE DARK MODE SLACK ????!
The Most Shocking Advertising Stats of the 21st Century
It goes much deeper than that. If we all voted for them they would still do nothing for us as I didn’t go to Eton, my uncle isn’t a viscount, I don’t own land and have no membership at any gentleman’s club.

You can judge how interested they are by their manifestos. They’re targeted towards their existing voters and rarely make any promises for infrastructure in the North.
Is it possible to create Google drive like services on IPFS protocol?
I am supportive of us do something about climate change. It's just isn't a panacea to all our problems.

It seems counterintuitive to be worried about climate change, to protect future generations, but then ignore planetary death because that's "too far out", when the whole premise of stopping climate change is to give future humans a shot at continuing the species.
This is why ex-startup-founder product managers are so in-demand if they ever go back as employees. Releasing your own software to the market, even with the help of a small team, demands a level of design finesse which is difficult to realise in a big corporation. The results in terms of customer feedback, market fit, product functionality are also easy to evaluate for hirers compared to NDAd or vague prior work experience.

Markets are not fair or uninfluenced by luck, and not every product or startup will succeed financially or provide the lifestyle the founder desires. But I've found that ex-founders make excellent picks as employees since they have the ability to work seamlessly across an organisation, particularly with software devs, and understand fundamentally which product features and developmental changes are worthwhile pursuing.
Indeed. I'd argue that this is so common that it is better to begin coding first, and allow any "design" to emerge, rather than trying to design before coding. Perhaps with extreme care one could achieve a decent design up front, but it would surely take much more effort than simply being willing to refactor as one goes.
I was literally ready to pay for it right now and then i saw it was free.
anyone out there studying programming, this is a great type of project to challenge yourself to build.

The codebase doesn't need a lot of dependencies and you build up a foundation you can leverage for multiple projects.
If you offered enough money I am sure a fair number of 17 year old would be happy to accept. I have seen girls auctioning off their virginity after all.
IInkscape is just there for us when we need it; it's one of those staple FOSS applications that just is. I've been using it since the Sodipodi days; that's more than fifteen years ago!

Inkscape is pretty extensible as well. It's not too hard to write plugins for it (in Python). I've did it myself, and love how a handful of people seem to find it of use¹.

1: https://inkscape.org/~jdhoek/%E2%98%85isometric-projection-c...
Because it's controversial and HN seems to remove/kill such discussions.

I wrote in such a thread and after 4 posts I couldn't post anything for over 3 hours.
The point was that these are separate actions. You can sell the oil shares and do whatever you want with the money - that doesn't change anything. You can use that money to invest in green alternatives - that's what matters.
> It's actually pretty difficult to enumerate all trusted CAs (or even just what organizations are running CAs).

Sure, but somebody else already did that so you can just rely on their work.

https://wiki.mozilla.org/CA/Intermediate_Certificates
He knows what pedophilia means.[1]

[1] https://stallman.org/notes/2019-jan-apr.html#25_April_2019_(...
Can't agree more with your post.
Your example, filterM has the type

filterM :: Applicative m => (a -> m Bool) -> [a] -> m [a]

from this I can tell you conclusively what it does: it takes a monadic function that returns a Bool after performing some "action" as well as a list of values; it then performs this action on each element and look at whether the result is True or False; when True, keep it otherwise discard it.

Now this is already a lot of information on what filterM does. But to use it in an action piece of code, you need to supply your own understanding of what the "action" is in this context. It does not matter whether or not you understand the implementation details of the specific Monad instance. You just need to understand its behavior: with the Reader monad, you know the action in question is just reading a piece of value from a "hidden" environment, so your filtering function has access to this environment when it determines whether or not to keep or retain an element; with the State monad, you know the action in question can possibly modify this environment as well; with the Maybe monad, you know the filtering action can say I don't know and that would result in the entire result to be Nothing as well.

Your argument of functions like filterM being a leaky abstraction is akin to saying, a Java interface is a leaky abstraction because you can't instantiate an interface (you need a class) so you need to understand both the interface as well as the class being used that implements the interface. Instead, think about it, it's just how the nature of combining orthogonal (de-coupled) things requires you to have an understanding of both of the pieces you are combining.
Why does Inkscape's UI feel so... sloppy? I mean, Blender is a cross-platform, open-source design tool, and it manages to have a tight, professional looking UI. So how does Inkscape's UI still contrive to look like the first Java AWT application I wrote in the 90s?

I know it's just a surface thing, and there's a lot of great functionality there. But it's still not exactly a sight that helps inspire you to create beautiful content using it.
I suspect they are selling to founders who are rich enough that they want to startup mostly for the social interaction
Somewhat of a real scarcity, as far transport takes money to build and going beyond 1h commute is very problematic, more so if you have kids to send to daycare, preschool or school.

Some of it is alleviated by hub and spoke transport plus extra parking places, but not all. At some point, transport costs split the city into a conurbation, even without the sprawl, you end up with towns linked by capacious public transportation and roads.
Or terrible congestion.

There are limits to density after all. Even with walking and bikes and underground and tramways and double decker busses.
Even though there are books about design patterns, taking such a book and trying to "apply" its patterns is a bit backwards I think. The idea of patterns is they describe commonly useful solutions, not designs you "should" use.

This nails it, and author does talk about it:

Similarly, knowing about common architecture patterns is a good thing: it helps shorten discussions with people, who understand them the same way as you do. But architecture patterns are not the goal, and they won't substitute for simpler system designs. When designing a system, you might find yourself having accidentally applied a well-known pattern: and this is a good thing. Later, you can reference your approach easier. But the last thing you want to do is taking one or more architecture pattern, using it as a hammer, looking for nails to use it on.
huh, what OS are you on ? I have hidpi screens since 2014 and inscape has always honored Xft.dpi
That should have been the real "boring" stack we're talking about here instead of the 20+ technologies mentioned in the OP.
I wondered about sylogisms, so I started with:

All men are mortal.

Socrates is a man.

Therefore, Socrates is

... and it came up with two answers: "mortal" & "a man". Good job.
Integrations go both ways. While Gitlab debates how to strip down Junit XML test result processing or represent arbitrary artifacts , Github has Checks API https://developer.github.com/apps/quickstart-guides/creating... where any third party system can provide feedback on a pull request and even veto it's merge.

Gitlab has many strengths, but integrations is by far the weakest one.
From what I've heard, such areas have received and continue to receive public money, but it doesn't look like it's working. Or I am wrong and such money don't exist/go elsewhere (grafts, corruption, public money waste or just area that aren't too bad). Or the places where it's working aren't those we're hearing about (the squeaky wheel get the grease and all that).
What's wrong with going home at 5pm? Ever heard of work-life balance? Your start-up won't run better when you run everyone into the ground. Build sustainable businesses over shattering yourself.
Thanks for the recommendation, I installed it this morning and it looks like all the things I miss from pocket casts after the UI redesign.
> Sounds great for a tech company with highly skilled engineers. They can afford the type of talent who will be thinking thoughtfully and have the time to do so.

The blog post says nothing of the sort. It focuses on two aspects of software architecture which are entirely orthogonal to the design process: using a common language and tools to communicate and describe their ideas (UML, documentation) and leveraging knowledge and experience to arrive at a system's architecture that meet the project's requirements.

Deciding to invent their own personal language (their "boxes and arrows") and take a naive tabula rasa approach to software architecture does not change the nature of the task.

A rose by any other name...
That was my though I suspect some jobsworth promoted above their natural pay grade threw their teddy's out of the pram, when their poor security got penetrated.
Science Reveals the Traits Every Leader Must Cultivate
Then again, as a Europen, I've said "Fuck China" and "Fuck The US" about equally often lately and would never consider visiting either until conditions improve...
Or maybe because there is constant stream of Stallman resigning posts. Few every hour. Latest is 23 minutes old when I'm writing this. The fsf.org linked was the main post with lots of good comments and it's now over day old.
How succesful is the track record of shareholder proposals in general?
Food is comparatively not a problem compared to transport of people.

* It is not as time sensitive - you can interleave and batch delivery hours. People work hours, unfortunately not yet.

* You can use big transport rail for longer distance or big trucks.
This increases density vastly.
People need some space, crates don't.
Theory is good when it makes specific predictions, that can be shown to be true or false, like theory of gravity.

If a rational actor might do anything for any reason, then it's of limited use.
I think that by changing the utility function to include personal feelings, you are putting the cart before the horse.
Use initials for the last names and thats the default, firstnameln.com redirects to firstnamelastname.com

And neither of those have hyphens
>Besides, everything seems to suggest that Firefox will be out of the market in the next couple of years. At least unless Mozilla adopts Chromium engine like Microsoft and Opera did.

A browser rendering engine monoculture really isn't a good thing that we should wish for. Chrome is very much the new IE at this point.
This must surely be an obvious GDPR violation if it happens in Europe.
The article linked from the title is full of lies. First, Pocket Casts is owned by NPR. Second, it is not free, but switching to a subscription model.
The higher set of reporting standards that would be imposed next calendar year might help raise public confidence in the business.
Then you pay a fair price for the space you actually use, not a flat monthly fee.
WeWork should be valued around the same as Regus
You know one of the best ways to get access to electronic systems is to get physical access, a "hardcore" run to borrow a term from Gibson.
Clean TypeScript code with type guards
In my own experience, it's really a must to go through both over- and under-engineering phase yourself: only then I found I got a really clear view on what's good and bad in approach, allowing me to default to somewhere in between (with outliers when useful) and in any case with focus on simplicity (but again, if needed for e.g. performance that can be violated). All of this is the basic 'learn from your mistakes' principle in the end - and it works.
BBC Briefing: Energy [pdf]
Sadly still too few opportunities and especially faltering health care and education.
it's complicated. capitalism is just one tool of many and shouldn't be used for every single thing. it is great at some problems though
Yes but a few was more popular, like the one who OP linked. Stories like that usually exist on the front page (or at least page 2) for more than 1 day.

This is also not the first time I've experienced that controversial topics simply disappear. Maybe you're right but it just seems like it happens too often.
How Bloomberg Achieves 90-95% Hardware Utilization with Kubernetes
Mods were embarrassed at all of the derivative posts blaming "SJWs"
Do you know why Bill Gates would go out and tell it is ineffective?
10.2 MB, 197 pages.

How to use: https://www.bbc.co.uk/news/uk-48186443
Study suggest Neolithic Britons processed raw milk to reduce its lactose content
Why not trying to see what's going on in China and how this evil come to place? If you only visit places where people are thinking in your way ....
They didn't publish a group of documents embarassing to Russia, when given to then.

Then there is also the source of their 2016 leaks, as documented the Special Counsel report
Risk of a feedback loop between climatic warming and human mobility
I think it really depends on the target audience

If most of your users will come to your side through facebook posts, instagram stories and twitter then the url really doesn't matter, they’re never typing it.

If your brand picks up with them you’ll be able to buy the premium .com version

If it cant pick up without your social media users alone then that says what it needs to say
Tienda de Ropa Moto Maximomoto eBay
The Road to Clean Energy
Which has nothing to do with this specific thread topic, that being evidence of "decades of Stallman's abuse of his positions at FSF and MIT".
You generate >1TB of fresh new data to backup every month? That is not like average user usage.

Large initial backup is a problem indeed but you can split your initial dataset for months.
Shutting Down SF Startup Tuki Health – Top Learnings
Brand names matter more in food and health verticals. People are far more brand driven when it comes to putting things in their body than they are about ridesharing or office space
"number of datapoints, not the size of the inputs"

For brain imaging, 100k was 'the dimensionality of the input' (but also the number of datapoints). This could easily be O(10^6) though with higher res imaging.

I'd check out, for discussion:

https://www.prowler.io/blog/sparse-gps-approximate-the-poste...

For code:

https://github.com/GPflow/GPflow

Based on the people involved knowing what they are talking about, rather than on experience using that particular work.
Oh you know its the latter
> like the one who OP linked.

It was the fsf link.
A service like this wouldn't cost that much to run even at a scale that serves tens of millions of requests a day. It's pretty much ideal for horizontal scaling. It's certainly in the region where a benevolent Bay Area dev could afford to run it as a hobby.
It's up. Unless S3/CloudFlare go down, it shouldn't go down
Awesome Earth
That’s awesome!

For those wondering why this is significant, this means that it will run as a native application on macOS. Really neat!
Reminds me of that time I hired a boxing coach and he punched me in the face, what a jerk!
> A collection of resources, services, products, and ideas that you can use to improve your impact on the environment.
Whenever you provide something free, "for prototyping" or "for personal projects", there will always be some moron/asshole who will abuse it by deploying it in a mobile app or something. It happens from time to time with OSM map tile servers operated by OpenStreetMap Foundation. And with Overpass API. This all is for software and data that can be entirely self-hosted, though servers are obviously not free.
How much does ERP software cost?
> Blender is a cross-platform, open-source design tool, and it manages to have a tight, professional looking UI

Well let's remember that there was HEAVY criticism of Blender's UI up until the 2.5/2.6 releases, with some people even criticizing it now that 2.8 is released. There was an extreme amount of work done since 2.5 to clean up the UI.

It also has a lot more functionality than Inkscape, and so I think there is incentive as more people start using it to make sure that all those functions are filed away neatly and accessible without cluttering the interface too much.

Also, just going on users subscribed to their respective subreddits, Inkscape has around 6000 and Blender 151,000. So the size of the user base might have a direct impact.

Personally I don't find the Inkscape UI to be all that bad, although I agree it could do with some tightening up. I still prefer to use Adobe Illustrator if I have it to hand, but Inkscape will always work in a pinch.

Being able to use it to create SVG that can be directly imported into Blender as curves is something I've used it a lot for, for that kind of task they complement each other very well.
Wikileaks regularly publish credit card details of completely unrelated bystanders e.g. political donors (and I mean $15 rather than $15 million).

They also clearly time their leaks for impact rather than purely apolitical time slots.

Speaking of the holocaust, wikileaks also hired a holocaust denier (in the words of hopenothate) - Israel Shamim - for years
Ask HN: Does type safety help you sleep at night?
Looks like the repository is the server implementation. If you can really use this for critical code, it's probably nicest to set up your own server :)
Most devs prepare for the abstraction nirvana. I see a lot of fellow devs creating complicated code, because "in case we need to switch out the database down the road" or "what if we want to run the web app in CLI"

In 20 years of programming I maybe seen one or two times a large application switched database engines and I've never seen a client want to run his/her web application in CLI...

The art in programming is to decide whether you need that abstraction or not.
If it weren't for Stallman there would be no free software. So if you are cool with that you best cease using all free software. Also I see no evidence of "decades of bad behavior". All I see is he was a jerk to people because of closed source software. One of the articles was a woman's article about him being a jerk to. So the lesson is, avoid women at all costs. Just don't talk to them. Because if you do, and give the wrong impression, you get the RMS treatment (among many others). Its open season on all geeks, nerds, and dorks now I see.

So what is your next step with me? Are you going to try to dox me and try to get me fired from my employer?
A couple decades ago we had a world that mostly standardized on the LAMP stack. It was an architecture that solved everyone's webapp needs, switching projects was easy, life was good. Then SOA happened on the server side, JS monoliths happened on the client side, and here we are, worse off than when we started.
Yes? It is not currently even on page 3 or 4 even if it got almost 2000 points. This is probably due to moderated behavior or else it would still be on the frontpage since it's such a big story.
I sure am keen to see some of this JSON porn
GetTogether: Open-source event manager for local communities
awww it seemed like yesterday when they accidentally dropped their prod db
The root DNS servers are distributed widely and operated by different organizations.

But it’s a single root, and it is administered by ICANN directly who decide who can be a root name operator. So there is central control there.