skysight-inc/HackerNews huggingface dataset:
I don't know where you live, but most places there are healthier options for takeout (like salad). A personal chef is much more expensive than you think.
Reading reviews of the Awair, seems that many people complain that the measurements are not accurate or consistent with other measurements... can you speak to that at all?
If anyone is unfamiliar with the work of Gabor Mate, he basically says childhood trauma is the source of our addictions. Listen to his talk on Tim Ferris's podcast.
I don't know where you live but schools barely existed in the 1500s.

I've been thoroughly impressed with both the public school systems in UK and Australia where my son has gone. They are greatly evolved places of learning even than when I was at school.
it's also funny how people assume blog posters owe them anything. get off their lawn!
<3

You might also like _Software Abstractions_ (https://mitpress.mit.edu/books/software-abstractions-revised...), by Daniel Jackson. I read the whole thing in two days and then immediately emailed him gushing about how much I loved the book. It's absolutely fantastic.
You agree that your article does not identity anything unique and makes a poor argument? Then you ask for what you missed! What you missed is any marketing insight!
Is anthropologic climate change real?
I think that comparison would be interesting, as well as perhaps a third title that carries many of the same marketing mechanisms but in a different genre, to control for trends in that vein. Perhaps something like Path of Exile or Hearthstone.
We did.

It is difficult to make general comparisons based on my own kids. I am quite biased in this regard. But based on a couple of homeschool groups we have had, it would seem that the kids are much better at constructive engagement in conflict.

They need far less time in academic study, with better ability to use the skills that they learn.

Now that they are older, they are often crushed by the homework load. They get good marks in their academic work, but enjoy it far less. Like, a lot less.

Now, about homeschool groups: we have experience with remote, rural Rocky Mountains (western United States) and urban Florida. Out West, homeschool seems to be mostly "Save Our Kids from Bureaucratic Madness" with the occasional "Save Our Kids from a Godless, Earth-is-Round Cosmology" family. In Florida, it was all about Jesus.

Both populations had more "Vaccines Cause Brain Damage" than I would like.

They are in public school now, a hedge against our gamble on educating the kids ourselves. They have had fantastic music education, we could not have done that without help. Older kids socialize across age groups and grades more, so that's ok.

It's still hard. Kids are hard. Good luck.
You lost me at “feels”. Need more than 4-5 anecdotes to determine if fraud is really upticking.
> All you need to do is to un-learn to not be creative

Can you please elaborate on this? What exactly are we trying to unlearn. I have never been able to think creatively and this has cause me self respect issues.
It would way cheaper for them to verify their code than to probably follow these standards but bureaucracies are bureaucracies.

Also, a little nitpicking in your write up but you should have also talked about type systems. They carry the spirit of formal methods but rather than being construct then check for correctness, are construction is correct by default. Type systems are widely accepted and show that some of these ideas can gain traction.
Hi, I'm the author of Advanced Mac Substitute. Proof: <https://github.com/jjuran>, <https://twitter.com/joshuajuran/status/1087557797200433153>

It's nice to see such interest in my humble project. :-)
I think the high wages are due to a lack of understanding from non-programmers. Non-technical folk see it as scary or hard to understand so would rather pay someone else to handle that stuff. We're on the inside looking out, not everyone wants to understand. As I'm sure we're all familiar with- i.e. the conversation killer of explaining our day job or even mentioning I'm in software/IT/programming etc.
Save SVG element with custom font and Download as an image
I’ve tried to find that data, but it’s not entirely clear where the water lines will be... especially as this is XX years out and there may be dikes/dams built. The ROI for most investors is too far out for them to be interested right now. I was looking for my own retirement interests
I think it's interesting how, as we push more into "this code absolutely must be correct" territory, code starts looking more and more like PLC logic than like high level code. Run everything every time you go through the main loop, don't overwrite values, calculate your results by choosing which intermediate values to use.
because (as the fine article says) "proofs are hard"

we don't do hard. we don't use APL. we don't use z or coq or isabel or any number of things, because we don't like hard things.

proofs are hard. its that simple.
No 2015 MBP unfortunately. Thanks for the link though, wonderful site.
I think you overestimate most people’s tolerance for children who are always reading. My interest was not exactly reinforced by adult praise and encouragement all the time. I’m confident there are plenty of people who got copious negative reinforcement for reading.

> [Writing] will create forgetfulness in the learners’ souls, because they will not use their memories; they will trust to the external written characters and not remember of themselves. The specific which you have discovered is an aid not to memory, but to reminiscence, and you give your disciples not truth, but only the semblance of truth; they will be hearers of many things and will have learned nothing; they will appear to be omniscient and will generally know nothing; they will be tiresome company, having the show of wisdom without the reality.

> Socrates

http://apt46.net/2011/05/18/socrates-was-against-writing/
High school politics
Generally not, because the price of the option is going to rise commensurate with the uncertainty of it being in the money.

It gets more and more difficult to accurately forecast that as uncertainty increases, which is why they're not priced as efficiently farther in the future. But since this is somewhat well known, you need to have some kind of edge to make it work - buying options haphazardly won't.
Oh no! Not the guidelines!!!
The business model of losing money on every sale, but making up for it with volume, turned out to be unsustainable, who knew?

It was nice to get VC-subsidized dinners while it lasted.
Not if you define the scope for execution policy.
Yeah, maybe it's a better idea. There are classifieds plugins in WordPress. I'll look into that.
I did an internship at a company building aviation hardware and software. Since everything was safety critical we used formal methods and things moved at a snail's pace.

When verification becomes the most important thing everything changes. The design specification doesn't make sense? It will take months to get it changed, write whatever code you can convince someone verifies against the design. Compile times are longer than an hour? Not a problem since the majority of the job isn't writing code but instead doing code reviews, verifications and writing tests. In fact writing code was about 15% of that job for the lowest level engineer. It was a whole different world than unregulated codebases are.
No one's disputing that.
Thanks, yes thats a lot. I'll double down on what I wrote as the CDOs contained a mix of all borrowers of all levels of credit worthiness. It is likely we are agreeing on our stats, but I will concede that the subprime variant therefore can't be reliably trusted to make payments, just as the models predict.
At one point a while back I emailed Stavely to learn more about how it's changed over time, but he's been out of the software world for over a decade now. Of the people I've met who've been on cleanroom projects, the _tentative_ impression I got is that it's fast and it works but it's really taxing on the people involved. One of these days I want to do more careful interviews and the like.
I’ve hired a chef to do meal prep, it’s not that expensive and the food was fantastic.
Why would this port be blocked?
Can I install MS office using scoop? Or other proprietary software that usually install globally and need admin permissions?

Choco can do that (not that I am affiliated). Also, I like my "path being polluted". The least these programs can do is symlink to a single binary directory so I can run them from anywhere.

Simpler repository is just a euphemism for- we have little.

As an end user I have no business whether it does it doesn't use nuget.

I'm not trying to diss - I respect and appreciate not players in this space but its important to say it like it is. Also, given how "open" choco ecosystem is- I'd love to see non-official tools on top of that.
Venture Capitalists are MUCH LESS ambitious than their private equity siblings
A fun thing is that using a function at most once has a strong relationship with linear / unique type system.

Of course it would have been even closer to the type system if he wrote that also variables should be used only once, but now Rust showed us how many advantages it can have.

It would be also interesting if a function in Rust would have to be cloned to be used multiple times (as it's an expensive operation for inlining), but of course it would have UX disadvantages in the programming language.
TechCrunch on the shutdown:
https://techcrunch.com/2019/01/21/munchery-shuts-down/

The meal delivery companies all seemed to expand too fast. There were no economies of scale to be had by geographical expansion. These companies needed to absolutely nail one or two big metros before even thinking about expansion.
Author of that guide chiming in! None; Google Cloud Services is not a consumer offering. The monetization approach is different from the model wherein you give up privacy in exchange for a service. More info at: https://cloud.google.com/security/
Probably a nitpick but wimlib isn't a port. It's a separate implementation based on reverse engineering the Windows tools and format.
It's amazing to me how few companies get this, and even more amazing that they ever find funding, much less multiple rounds.
Not quite, I agree that a comparison between titles may be a better way to more clearly articulate insights :)
New Mexico Tech set up a two-element array with a couple of rebuilt K-band satellite-television dishes.

I don't know what they used for the correlator.

The Array Operations Center for the EVLA (Very Large Array) and the VLBA (Very Long-Baseline Array) are on the New Mexico Tech campus; we had a lot of radio-interferometer people in town.
Markets move one quarter at a time. This has long since been established.
but even then excessive screen time is still bad because of what it precludes the kid from doing instead. like socializing or exercise. but that’s in the extreme case and would also apply to excessive anything, like reading
Perhaps, but when it's industry-wide it's often a good leading indicator. My previous employer's only layoffs ever were in 2008, when one of their investors (I believe A16Z?) sat down the founders of their portfolio companies and told them to cut down, because the crunch was coming. These are companies whose management is in very close personal contact with the capital markets, and so often make decisions very quickly in response to what's going on there.
I don't know how it's used in practice, but aviation companies dump a lot of money into formal methods research because getting their code certified to meet scary specs is very expensive and they don't want to do it for every bug fix.
Meta-analyses aren't science, either. They're hardly more than commentary as it's very easy to interpret many studies in a particular way.
TBH get comfortable with writing a web server in your favorite language and a popular framework e.g. flask (python), go (gorilla/mux), nodejs (express). Then try using it to make calls to an external system like a database. As a backend developer you should have a good feel for the data flow through the application stack.

There's nothing special about backend development, its mostly about the "plumbing" between systems. Lots of de(serializing) (e.g. json, protobuf) messages into objects and validation of those messages
Apparently high yield ETFs invest in junk bonds which are different then leveraged loans. For example, junk bonds are overseen by the SEC.
Economies of scale means that the more customers you have, the cheaper it is to offer the service per customer. In this case, the cost basically remains the same, no matter how many customers you have.
> In this model, the neural system is not considered and patterns of muscle contraction are explicitly defined.

In other words, the simulated worm brain is not yet even capable of causing the wiggling seen in the video. So the question remains, what can the simulated neurons do, f anything?
Show HN: Listener Generated Radio
Over the years I've found that I really dislike multiple screens, or huge displays. I've actually tried the 43 display the author had and it sucked for me. It required so much head movement that it's even worse than 2 monitors.

What really works for me is a single 27 - 32 inch, hidpi display. It gives enough screen real estate while keeping the content (mainly text) sharp and pretty. A tiling window manager helps too.
For me, turning off auto-play worked on both my Roku and Visio TVs. I actually turned it off on a per user basis.

As for the auto-playing previews, my partial solution is to hit the mute button when browsing the Netflix home screen. Still gets annoying when trying to read the text description of a show, but it disappears from the screen too fast and replaced by the preview.
Diskee: Apollo's Most Important Crewmember
None at all. Just sharing my experience as somebody who was there.
Ray Dalio is saying our current situation most closely resembles 1937, and 2008 most closely resembled 1929.
I'm a bit terrified that no one had security as their first item on the list. Many answers here are great and contain a lot of important concepts, frameworks and tools. But all of these are meaningless unless you have a strong spider sense for security. Not just the OWASP top 10, or top 100. But also criticizing your own business logic, not leaking information to the client side, not pushing things to git that should not be pushed. How to securely store passwords in the database. How to handle DDOS. How to prepare for the worst case, limit blast radius, all this while not hurting your productivity, as well as the end user's.

In the official sense, Security also includes availability (see the CIA triad), so a large portion of the bullets others have mentioned focuses on that.

I think a security mindset (including availability, which leads to thinking about disaster recovery, performance, redundancy, high availability, distributed systems as a mechanism to achieve it etc) is the first aspect that I look in a backend developer.

Other things are important, but security mindset in my opinion is the first layer in the foundation.

Others on my list that may be helpful to deep dive into:

1. HTTP, REST, know it well.

2. GraphQL as a complement/alternative to REST.

3. If using relational databases, learn what is a N+1 selects issue and how to solve it

4. If using NoSQL databases, learn about the CAP theorem and understand the tradeoffs etc

5. Learn to avoid premature optimization. Measure and profile before jumping to conclusion on theoretic bottlenecks that don't exist.

6. Unit test all the things, learn how to mock and what to mock, learn the difference between unit and integration tests.

7. Invest time in good design, read some other open source projets, see how they organize the code, what packages, what modules. Learn about dependency injection, Inversion of control.

8. Learn some cloud patterns, such as exponential backoff, throttling

9. Know everything about cookies, localStorage, XSS, CSRF, JWTs, and session cookies, stateless vs stateful architecture etc.

10. DevOps: Look into containers and serverless, CI/CD

11. Multithreading if you are in a language that has them.
Eat meat. Do calisthenics[1]. Practice prolonged fasting every month. There is no money to be made in any of these activities (hence you won't see it as part of everyday propaganda).

[1] https://www.amazon.com/gp/customer-reviews/R2G0WUH73YBFYE/
> confidence

That confidence to handle any technical work seems to stem from gradual development abstract thinking w.r.t problems . Top notch problem solvers see beyond the technical details and focus on more abstract aspects of the problem. To them the problem at hand has a few key sub-problems that are very critical and thus, when those are solved, everything else is just minor details. Identifying those critical sub-problems seems to be the key. And that is usually developed over a good amount of real-world experience. There are genius people out there who can think in these lines in their teens, but those are few and far between.

All those years of working, those long hours, those brain wracking problems, those moments of sheet delight at having solved one, all of that is its own reward. I may not have anything to show for my 15 years in a field, but I have plenty of self-satisfaction and the experience living those moments.
Could you give me a little insight into your use case?

I'm personally excited for ipfs, but I've stopped following releases / am feeling burnt out by the slow pace of development. Still, good to see creative uses pop up in my internet bubble!
As a somewhat socially stunted adult that went to public school I've wondered if the parents having somewhat active social lives (mine didn't) was more important than socializing at school. Amongst friends that I know the parents of and that I went to school with there is a high correlation between their social skills and the time their parents spend socializing.
I want to see (and go) to tropical beaches in Canada and Antarctica!
Nassim Taleb famously thought so, and made a killing in 2008 on this theory. But his fund does lose money in most years.
Bitcoin is at a point in valuation where a huge effort should be put into using formal verification: a bug can worth hundreds of billions of dollars. One problem is that it's already written in C++, which is a language with incredibly complex semantics for program verification (and now it's too hard to move away, so the C++ program has to be proven to be correct). The main blocker is what others have written as well: it's very hard to do the formal verification.
Yes, but in your previous comment, you said it didn't exist. It may as well not have! Almost nobody used Windows 1.0...

Still, in 1985, even DOS apps had to target varied environments: mono, CGA, EGA, Tandy graphics, different memory configurations, 8088 or 286, printer drivers...
A good business move ever since land is no longer made!
Technically, there is no such thing as a tech company. They are all selling something, usually software directly or better software-powered versions of existing industries.

Amazon is retail, AWS is IT, Google/Facebook are ad networks, Microsoft/Apple is hardware and software, etc.
A personal chef to come to your house is much more expensive than a takeout salad. I would love to see a link to such a service that is affordable.
Yup, I've been quite content with my 27 inch 5K monitor. I use i3 on Linux.
It seems like they just did too much. GrubHub, UberEats, DoorDash are all significantly difficult without the cost of making food at scale. I'm impressed that they raised the amount of money they did.

The most interesting work in the food delivery space, IMO, are companies that want to bring the Deliveroo model to the US:

- https://www.cloudkitchens.com/ (aka City Storage Systems)

- https://2ndkitchen.com/

It'll be really interesting to watch this space evolve. I wonder if prices will drop in the long run without sacrificing quality (I'm hopeful, but my rational side says otherwise)
hmm i’ve thought about this but thought it would be way too expensive. any more details on how you did this? what area do you live in? how much approx was it? you let them in your house in the afternoon and they cook and have it ready for when you go home?
Worked 20+ years in the Bay Area. 3 years ago, I got tired of the rat race, I sold everything I own and moved to Saigon, Vietnam. For the last month, I've been on a motorbike driving all over Southern Vietnam and Cambodia with my gf. Technically, we are homeless, living out of low cost, but decent hotels.

We live a completely minimal lifestyle. We own just enough to fit on the motorbike. In the last month, we've used a single plastic bottle (because we were on an island and wanted water and couldn't get it any other way) and created just a tiny bit of trash. We aren't religious about it. I'm only bringing it up because by focusing on making a minimal impact on this planet, it has allowed us to really let go of so much.

It isn't easy, but it is possible to do exactly what you're saying.

cheers,

https://imgur.com/a/8V6NUWm . (Kampot, Cambodia)
Overall AS3 with Flex felt great, and I used it for one of the funnest projects I've ever worked on (prototyping for a new GUI system).

The inbuilt widgets functionalities were great, with things like skinning functionality and the ability to place shaders on widgets right on your fingertip. States were easy to model.
I think it took Javascript years to catch up, and while now some of the modern frameworks (React, Angular, Vue) might be ahead in lots of regards, they might still be behind in others.

Actionscript itself had a pretty weak type system compared to what Typescript can do now (or could do years ago). E.g. there were no generics, apart from the some kind of semimagical vector. So this one is the smaller loss.
>>Scoop reads the README for you<<

I'd rather just have a clear and concise README. Better yet, if vendors distributed their applications as single bundled EXE files like back in the day.

Don't take this the wrong way, I haven't used scoop and I have nothing against it. Just wish there weren't a need for it.
Which universities teach formal methods?

- q=formal+verification https://www.class-central.com/search?q=formal+verification

- q=formal-methods https://www.class-central.com/search?q=formal+methods

Is formal verification a required course or curriculum competency for any Computer Science or Software Engineering / Computer Engineering degree programs?

Is there a certification for formal methods? Something like for engineer-status in other industries?

What are some examples of tools and [OER] resources for teaching and learning formal methods?

- JsCoq

- Jupyter kernel for Coq + nbgrader

- "Inconsistencies, rolling back edits, and keeping track of the document's global state" https://github.com/jupyter/jupyter/issues/333 (jsCoq + hott [+ IJavascript Jupyter kernel], STLC: Simply-Typed Lambda Calculus)

- TDD tests that run FV tools on the spec and the implementation

What are some examples of open source tools for formal verification (that can be integrated with CI to verify the spec AND the implementation)?

What are some examples of formally-proven open source projects?

- "Quark : A Web Browser with a Formally Verified Kernel" (2012) (Coq, Haskell) http://goto.ucsd.edu/quark/

What are some examples of projects using narrow and strong AI to generate perfectly verified software from bad specs that make the customers and stakeholders happy?

From reading though comments here, people don't use formal methods because: cost-prohibitive, inflexibile, perceived as incompatible with agile / iterative methods that are more likely to keep customers who don't know what formal methods are happy, lack of industry-appropriate regulation, and cognitive burden of often-incompatible shorthand notations.
There's no mystery. This is just not a viable business model as known for 20 years now from the first dot-com bust. The economics haven't changed meaningfully since then for there to be another serious attempt.