Hacker Newsnew | past | comments | ask | show | jobs | submit | more z77dj3kl's commentslogin

They're a public employer though, no?


In essence, they're employed by the queen


Advertising? Have some articles be part of the bundle as a "preview", and most articles behind an individual subscription?

This idea of building your own newspaper sounds kind of interesting actually: a mix of authors you've picked and an automatically curated content from other authors to help you find new authors.


I think he's referring to the standard, non-hidden microphones.


The social networks are offline. Universities are great at open collaboration, it's just not a kind of online collaboration where anybody can walk in and partake. People spend a lot of time on a different type of communication: going to conferences, attending seminars, and meeting one-on-one. Why should it be online?

Also keep in mind that a lot of mathematicians are also older, less tech-savvy. This might change in the next decade or two!


> Why should it be online?

Compare programming before and after Google or before and after StackOverflow.

There is https://mathoverflow.net/


I've heard of mathematicians being frustrated by physicists who use fancy stuff without full understanding of the underlying principles, and sometimes they just manipulate the notation without fully justifying what that manipulation means (e.g. you may have an integral operator on some space, and you might just swap an infinite sum and that integral operator, but that requires a justification that you might omit).


What do you mean? Mathematics is all about formal verification, i.e. proofs.


I think they mean computer-verified proofs. As you note, the existing proofs are already formally verified, so this might not add much.


Pitting code review against trust and responsibility is just disingenuous. The point of code review is not that you distrust others. It's that everyone makes mistakes and often someone else having a quick look over your changes can come up with some really cheap wins that are safer, more maintainable, faster, etc.


The OSM style is here: https://github.com/gravitystorm/openstreetmap-carto

There is an issue about converting it to vector: https://github.com/gravitystorm/openstreetmap-carto/issues/3...

Doesn't seem like there's any current vector versions of that style, but you could make one yourself using Maputnik or similar; you'd probably want to start with OpenMapTiles and maybe even one of the pre-existing styles for OMT like OSM bright.


Doesn't need to be OMT though. That's just the de facto free & open source tile generator from OSM data.


Yes, you can render raster layers (tile sources).

https://docs.mapbox.com/mapbox-gl-js/example/map-tiles/


And here's the forked version of that example: https://maplibre.org/maplibre-gl-js-docs/example/map-tiles/


Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: