skysight-inc/HackerNews huggingface dataset:
> Wasn't `oasis` the legacy way of building projects? Thought everyone used `dune` now?

Yeah, I believe new projects tend to use dune, and some older projects have switched from OASIS to dune. I personally still use OASIS mainly due to laziness. :D

> But I need a quality material on everything you can do with `dune`. Can you recommend such?

I have not used dune myself, but a quick glance at these sites suggests that they may be quite useful:

- https://dune.build/

- https://dune.build/examples

- https://dune.readthedocs.io/en/stable/

- https://github.com/ocaml/dune/blob/master/doc/quick-start.rs...

- https://github.com/ocaml/dune/tree/master/example

- https://ocamlverse.github.io/content/quickstart_ocaml_projec...

- https://medium.com/@bobbypriambodo/starting-an-ocaml-app-pro...

For opam:

- https://opam.ocaml.org/doc/FAQ.html

- https://opam.ocaml.org/doc/Packaging.html

- https://opam.ocaml.org/doc/Manual.html

- https://github.com/ocaml/opam/tree/master/tests/packages

I hope this helps.
Nobody said otherwise. Why so defensive?
Not to mention people who can't obtain certs due to geopolitics or the inability to enter a legal agreement with the ISRG.

I understand why letsencrypt is needed and what problem it's trying to solve, but forcing international dependencies on a small number of select entities is not the way to go about solving them.

I can't help but feel saddened when see one of the greatest monuments to human ingenuity, a global decentralized network, get dismantled like this.
I recently played Gorogoa, first game that reminded me of Myst in ages. Although it was much easier than I remember Myst being, it has that artistic flair that I loved about Myst.

http://gorogoa.com/
Do the math: product price times number of reviews equals cost of fake reviews.
That's awesome. I didn't know about the keyword filename:
I've been using the button to the left of "Clone or Download" this whole time.
Thanks for the info!
> offensive

Ugh.
It's more like a "learnèd machine" approach. No need to train the model, but a pre-trained model may be (or not be, depending on circumstances!) more efficient than "hand-written" OCR approaches.
khanacademy has content for those school work level.
Angular - Still lost track w/ their versioning.
React - More popular JS
Postgres - Getting better and better
Svelte - Might make it.
K8s - Too much stuff going on. Jump w/ care.
Related: http://www.paulgraham.com/corpdev.html

"It's usually a mistake to talk to corp dev unless (a) you want to sell your company right now and (b) you're sufficiently likely to get an offer at an acceptable price. In practice that means startups should only talk to corp dev when they're either doing really well or really badly."

I think it's fine to mention this. VCs appreciate having as much data as possible. Hiding data that hurts your application makes you come across as shady.
Not quite where yet? It's seeing lots (albeit quiet) of production adoption, and it's still growing.
For me, the other big complication is that we do backend stuff in Java... and God help you if you want a self-contained image that can intelligently and quickly reload Java code for anything that's not a very specific arrangement of frameworks.

It's night and day compared to the Javascript world, where it's nearly a given that the bare minimum should be watchers that recompile code and restart a server before you finish switching window focus.
related to this: anyone can share practical advice when it comes to running Elasticsearch for application and infrastructure log aggregation?

We started from using Elastic Cloud which is nice enough and saves us the time to initial configuration. However I'm still unsure if the choices I made are the right way to go when designing the indexes.
They aren't popular at all in North America, even in the cold and salty parts like Canada. I've never encountered a car that had it, new or used. I don't know why. My perception of them is that they don't work well enough to justify the cost, but I don't know if that's true or not.
This shouldn't be downvoted. I distinctly remember browsing websites by their addresses.
my understanding is 2% dead (think that number is being borne out in both italy and s korea), which is still much more lethal than the flu
That's kind of how unsafe rust works, except that the compiler doesn't check that you maintained the variants. Your unsafe code is expected to conform such that safe code interacting with it is safe.

> But a solution to this problem is articulated easily: adjust corresponding nodes if this one goes away. It could help with that instead of just exposing,

Articulating things easily doesn't mean they are easy. Now every value needs a backreference to every value that holds it and, during its destructor (which isn't guaranteed to run), it has to make those held references invalid?

I know just enough to know how difficult the problem is, in the general case. The folks thinking about these problems for their day jobs have looked into a lot of simple solutions and they fall apart in cases that are too common or too valuable to no support.
SAT prep books such as those from Kaplan or Princeton Review tend to be extremely cheap, if not free, and cover almost all of those topics pretty succinctly :)

Speaking as someone who was kicked out of precalc and then never touched math again despite working as a dev, your point resonates with me :)
Old-media fear mongering. Surely a man named Lester wouldn't try to convince anyone of anything.
I am working on a no-code platform [1] currently that along with other tools in the market will continue to allow more and more non-programmers to build tools.

BUT... I still believe there is plenty of runway for great front-end developers. Especially those that have an eye for design.

Keep learning and growing. There will be a place for you in the future!

[1] Webase - https://www.webase.com
Lightweight project management in Slack or how we ditched Trello
Probably more of a compelling alternative to C++, and not as much so for C (yet), from what I've read so far.
I think it would help people understand this is is worse than the flu if we start calling it sars 2.0. Because that’s what it is, sars.
https://en.wikipedia.org/wiki/Severe_acute_respiratory_syndr...
The article implies that, but it's not true.

It's at least mostly true. They usually link to the official seller, so while it's possible they either get that wrong, or the seller starts shipping the wrong product it at least saves some of the work.
The 5G Ecosystem: Risks and Opportunities for DoD [pdf]
It can be extremely profitable too. If you happen to identify fraud against state or federal government, and it gets successfully prosecuted, you can earn 30% of imposed penalties.
>COVID-19 makes ~20% seriously ill and 10% dead

COVID-19 death rates in China are about 2-3% and significantly lower outside of China. (less than one percent). Probably due to the healthcare systems in the Hubei region being pushed to its limits.

Bad flu seasons in the US generally have a fatality rate of about 0.2% and infect about 30 million people annually, killing about 60000.

So even if COVID-19 cannot be contained and will linger around it will likely not be as deadly as influenza.
If you wash and dry your sheets more than a few times, all of the loose fibers will come out.

After that, any dust you inhale is supposed to get caught in your mucus. That's the whole point. Cotton is absolutely innocuous, even if you did inhale it. It's not asbestos, stop worrying.
I know a person who tried Khan Academy to get caught up on math after a pretty poor childhood education (they didn't finish middle school). Their feedback was that they were able to get their fundamentals down enough to actually pursue more advanced topics fairly easily (about a year of self-study to go from zero to 'high-school graduate' level.)

From my own personal experience, I would recommend getting to the high-school graduate level and then taking some classes at your local university or community college for topics beyond trigonometry. You'll likely be able to handle everything up to that point on your own without much support, but many people struggle at that point and benefit from having people to ask for help when they need it.

I would wish you the best of luck, but I have no doubt you'll get to where you want to be without it.
The daily updates in r/supplychain are a good overview of what’s going on.

https://www.reddit.com/r/supplychain/comments/f87aec/covid19...
neat. expensive.
Yeah, I wonder to what extent "Just put it all in Docker" works for specific language communities, and if you're not in those communities the advice falls flat. (My employer is pretty polyglot, but primarily Java; my team is mostly Python; we also build our own C code as well as third-party C code and need to debug it every so often.)
Data Driven Rendering: Pipelines
I'm reminded of this story from ancient apple lore:

https://www.folklore.org/StoryView.py?story=Negative_2000_Li...
I'm claiming that many people in California visit those places, and it's during ski season.

Are you claiming that only full-time residents of those areas can understand winter weather? I'm not sure you meant that, but I'd recommend against thinking that.
Every country needs to take a hard look at the supply chain of critical goods such as medical supplies or chemicals and figure out how to reshore these factories. Even if the Chinese migrant workers comes back to the factory (estimated only around 20-30% did), most of the small businesses might be gone by then.

https://asia.nikkei.com/Business/Industry-in-focus/Virus-hit...
35% of 1,506 Chinese SMEs surveyed in early February expect to run out of cash within 1 month, 85% within 3 months.
Chinese small business which account for 99.8% of registered companies in China and employ 79.4% of workers, according to the latest official statistics. They contribute more than 60% of gross domestic product and, for the government, more than 50% of tax revenue.

https://www.zerohedge.com/economics/chinese-workers-refuse-g... Chinese workers refuse to go back to work

https://www.zerohedge.com/economics/jpmorgan-now-expects-chi...
JPMorgan Now Expects China Q1 GDP To Drop To 1%, Crash To -4% If Coronavirus Is Not Contained
Webase [1] is a no-code platform for building CRUD apps without writing early code. It has found a niche in being able to dynamically generate PDFs based off of forms combined with business documents for things like Real Estate contracts.

Website still needs to communicate the value more, but it is a fun project to keep improving.

[1] https://www.webase.com
I think that reflects the fob price, afaik tesla doesn't make them themselves. Meanwhile the model 3 rfid cards are $5.

Not an apples:apple comparison with the 3rd party ford fobs - where they've had decades to copy them.
The No Bullshit Guide To Math And Physics

https://minireference.com/

I bought the Math and Physics copy because it has an ebook option and the first chapter is the Math guide. I’m going through a few pages a day and it’s crisp and straightforward. There is a sample of the first chapter on the site, I suggest you check it out to see if this is what you are looking for.

Found via an HN thread from last year on this topic.
> TLA's state space would explode before anything of consequence can be explored

You're confusing TLC with TLA+. TLC will work for small programs, but you can still use the TLA+ proof assistant (TLAPS) just as you can use Coq (and for the same definition of "can").

> So, we have TLA+ on the one hand, which is too abstract, and C on the other, which is useless when translated to TLA.

TLA+ is not "too abstract". It is mathematics. It can describe a system at the level of general algorithms, or at the level of logic gates. In fact, it particularly excels at expressing abstraction/refinement relationships between descriptions of the same system at various levels. For example, you can establish a refinement from the C code to a higher-level spec with the proof assistant, and then use TLC to model-check the higher-level spec. But still, TLA+ is not likely to be any better than Coq, or any other deep specification and verification tool. Unfortunately, none of them can feasibly verify software of common size.
I'm not being defensive. Also, if you want to have a productive discussion, please don't say things like this.
10% is dead / recovered. Don’t look at dead / infected, that’s skewed by an exponential infection rate.
I know these are extremely common suggestions, but…

• 3Blue1Brown has great introductory series on linear algebra and calculus.

• Khan Academy covers pretty much all of US high school mathematics, and you can go through it at whatever pace you want.

• I can send you a few Australian high school textbooks if you want.
Someone will surely overthink it, and everyone will always question you about where the line should be.

And no, the goal isn’t always (or even often) to produce code that can be easily refactored, quite the opposite in practice. This is why having prototypes done in a separate org can be really useful (since they are writing code to serve designer needs rather than production developer needs).
>React has essentially won the mindshare battle

I'm looking to learn a front-end framework and had a few people recommend Vue. Sounds like maybe I should go for React instead? In case it matters, I'm not looking to be a front-end developer. I'd mainly like to improve some small projects I have. And get the most value out of my time learning a framework.
Brick Hect would be proud.
bank cards with identical security (secure element) cost well under $5, in bulk maybe even under a dollar.
To mildly humidify my baby son’s room without having to maintain a humidifier, I use a towel soaked in water, draped over a chair, with a fan pointed at it overnight.
Ballerina Programing Language
It’s obviously not precise. But roughly after that you are making about a million a year minimum in cash flow and can think about spending $250k+ on custom software.
Our site (brilliant.org) is designed for your use-case, among others.
I used Haven in last summer when I went away for holiday. Set up with my old phone.

It was sending pictures even when light levels of the room changed.

I really liked the app and was sorry when I received the email about closure. Glad it is back!
Weight loss and health improvements with Mediterranean, fasting and Paleo diets
Thanks for another clear explanation of process! But... the fact that there isn't some standardized automated revocation procedure that all CAs are required to support at this point seems somewhat absurd to me.

At a minimum, it seems like such processes based on both proof of domain ownership and proof of private key possession should exist. Moreover, there ought to be a way to specify via DNS which CAs can issue certificates for your domain (I guess DNSSEC DANE will provide this?).
Yes, the nixos-container command. That's the imperative approach, you can also do it declaratively.

https://nixos.org/nixos/manual/index.html#ch-containers
I started programming on a low code tool. We went pretty far - games like Knytt Stories, Spelunky, Five Nights at Freddy's are built on low code tools.

The downside is that it's often harder to communicate with the software. Drag and drop is much slower than typing. These tools often have bugs and bad design. You end up building long winded hacks around them. Like we'd end up building our own physics engine, collision detection, and so on. Knytt Stories has a level split into many different screens, rather than continuous scrolling, because of some limitations. You eventually get the Ionic/Cordova effect - you can build things fast, but have to hack a lot to get what you really want. The more layers there are, the more work you need to debug every layer.

I've bought tools like Bootstrap Studio and eventually just gave up and went to HTML. They work as training wheels, but if you're here to race, you won't want them.
Is there any patent grant to go with it?
Dead/recovered is also skewed because if someone is going to die, they will die before the illness has "run its course," whereas someone who is going to recover will have it for longer before they count for their statistic. As a result it is also skewed by the exponential growth, albeit in the opposite direction. I really feel like none of the statistics I am seeing are satisfying...
It's more like 3% dead, according to Johns Hopkins: https://gisanddata.maps.arcgis.com/apps/opsdashboard/index.h...
Ha, I came here to shamelessly self-promote, but I see my book has already been mentioned!

Here is a direct link to the preview: https://minireference.com/static/excerpts/noBSguide_v5_previ...

I won't claim that Chapter 1 is complete and detailed review of all of high school math, but I did my best to cover all the essential topics needed for mechanics and calculus so that the book will be self-contained.
Guix has that built in, effectively - you can build a Guix operating-system as a container to run on the same system (this shares the host machine's store for deduplication), or a Docker image if you want to ship it to a machine that's not running Guix.

See docker-image and container here: https://guix.gnu.org/manual/en/html_node/Invoking-guix-syste...
At my company we just finished setting up a brand new docker dev container that we work out of, and it's awesome. However, it was absolute pain to get it to the point where it's awesome, and the only way it worked at all was because of the fantastic new "Remote: Docker" docker extension that has been released with vscode. Our dev environment is intimately tied to vscode and its ability to interpret a special .devcontainer folder to automagically add in special additional dev layers with project-specific vscode extensions, run all relevant language tools as remote servers inside the container, and provide full intellisense over your project.

My questions is, how the hell is anybody getting anything done _without_ all the features I just mentioned? I've found initial, paltry support for particular languages in JetBrains, etc. IDEs, and that's about it. None of the other IDEs have any real solution go getting multi-language intellisense from inside the container. Are people just like... exec'ing into the container and then dicking around in Vim? Or are people mapping all of the source in as a volume, running the IDE outside the container, and just forcing the user to have all the relevant dependencies installed on their host system if they want to see auto-completions, go-to-definition, etc. (thus completely defeating the purpose of containerizing your environment)?

In my eyes, the only reason Docker as a dev environment makes any sense at all is because of the uniquely good support vscode offers, but I see it mentioned all over the docker website that it can help you make your development environment repeatable and exactly like your production environment. But... that doesn't actually work, like, at all...

Can somebody help me understand what I'm missing?
Check out OpenStax: https://openstax.org/
I have a recommendation for you: BE YOURSELF!
Reducing Multi-Region Read Latency and Network Traffic by 50%
Well, inexperience users/data scientists tend to not care about what they write out :)

Nevertheless, my point is a Data Lake's does not offer free unlimited scalability. It takes a lots of effort and good engineering practice to make a Data Lake run smoothly at scale.
I'll bite: Honest reviewer says that product works fine...for the first week or month. Wait for a year before allowing them to sell? Not doable especially on millions of new products.

Maybe reviews should be limited only to certified buyers or only those should be added to stars /rank.
I mean, what Docker does is, it turns a network of executables and scripts into a single executable with no outside dependencies.

It works extremely well for language communities that need this, in particular it caught on because you would build something and test it locally and it would work just fine, but then you are running the wrong version of Python or pip installed the wrong version of a library, or you have the wrong version of PHP or Node.js relative to Prod.

For Java and Go, I believe they have already settled these problems, no? You might shell out to other commands and have a weak dependency on your runtime environment that way, but if you stay within your lane, then you already have an executable with all of its dependencies bundled in. They just have a lot less to gain from Docker. I can't see why they would have more to lose.
>Probably due to the healthcare systems in the Hubei region being pushed to its limits.

What happens when the Italian healthcare system gets pushed to its limits? With a conservative estimate of 15% hospitalization (which I can't vouch for, but offer for the sake of discussion), there may be no medical system in the world which is prepared for this.
I’ll tack on a couple sources to this:

http://pointfree.co - high quality content, emphasizing functional programming.

https://oleb.net/blog/ - blog of Ole Begemann, co author of Advanced Swift (good resource itself)

https://appventure.me - Benedikt Terhechte’s topical guides to Swift features

https://andybargh.com/blog/ Andy Bargh’s topical articles
The latter extreme ("Flu / falling off ladders is worse!") is a dangerously misguided line of thinking. Inconvenience is always better than dead, and lest anyone think "dead" is an abstract/unlikely outcome, collapse of supply chains (medical or otherwise), overloaded health systems, lack of hospital/ICU beds, etc can all contribute to death-rates-in-a-pandemic, even if those folks never got infected in the first place.

So the smart money is to be cautiously prepared -- have 1-2 weeks of "stay-at-home" supplies, that is food, water, and self-medicating items. You do not want to dependent on being out and about if this gets worse. Best case, you can have a canned food party once this clears.
The article mentions using a bunch of GPUs in AWS to do the processing, so I'm guessing that's a pretty firm "no" in this case...
Yep, brilliant.org + the first book from minireference.com are what OP needs.
What Happened to MyFitnessPal?
I used this app almost daily about 5 years ago. It was great, just a little calorie calculator. I could pull it up super fast and jot down what I was eating. The weight tracking system was neat, but I personally didn't even use that.

I downloaded it this weekend because I've been meaning to start getting in better shape... And I guess I made a mistake.

There are so many useless features packed into what was once just a simple calorie tracker. Does anyone actually use the "feed" feature?

Who thought it was a good idea to turn a fitness app into social media?

AND they offer a premium option?

MORE features? How? Why?

Why can't apps just do one thing nowadays?
I don't think you should be commenting about the current state of the programming language (which is how your first comment comes across) if you haven't used it in over 6 years.
So you make a big purchase that drops you below an arbitrary number, and your portfolio is immediately liquidated? No thanks.
Too bad the () and the [] look so much alike in the monospaced version.
GPLv2 isn't free enough to be used in a commercial browser.
> electric-driven compressor has a muuuuuch easier life

I disagree. Tesla cars run the compressor more often.

- There's a setting most people leave enabled that will cool the car anytime it reaches 104 (when parked).

- you can also leave the ac going while you're away from the car, like in a restaurant.

- you can cool the car from your phone

- this was a service vehicle, so they probably left it going so customers would get a cool car.

- This specific tesla was going across the desert between vegas/palm springs/los angeles
Wow. First time reading this as well, and there is such wisdom in it.

It is doubly apt considering what is going on in the political realm currently as well. Not a lot of understanding or willingness to fix things within the constraints of a system, just promises to tear it all down and replace it with utopian versions.