skysight-inc/HackerNews huggingface dataset:
Barnes and Noble was around, but they just did not take it seriously enough
Although TLA+ can't, that is used extensively in some other tools like the B method, Circus for concurrency, Eshersoft's Perfect, and some provers (Isabelle/Coq). That's a good thing in my book for critical software given it knocks out errors people introduce in implementations. The only drawback is it creates simplistic code that might not be what you're wanting in performance, readability, or even security (eg side channels). Even with those drawbacks, it can become a reference implementation to equivalence check/test your hand-coded implementation against. In security, one might also mix verified/hardened implementations for untrusted input and optimized ones for trusted inputs if they come from separate, authenticated places.

Lots of tradeoffs one can make with spec-to-code generation. TLA+ just isn't in that game for most languages yet. Fortunately, it's straight-forward to convert TLA+ specs to code. Thinking about how to model or fix your algorithm is where the trouble will be. ;)
some greek god or smth.
Will AI become intelligent enough to perfectly organise our economies?
Don’t Get Distracted
I mentioned CRUD web apps because first, I get the feeling that at least a bunch of the comments talking about high learning curve of Rust are from web developers expecting as fast an on-boarding as say in Python, Node.js or Go and more importantly because I'm a web developer myself with a lot of domain knowledge -- building a simple crud web app (or in Rust context more api) is going to be fairly easy to me in pretty much any language that provides some basic tools for it.

In dsp on the other hand I'm starting completely afresh and more time is spent learning the fundamentals and brushing up on the math than coding. I know pretty well what kind of things I want to build and understand the higher level concepts, but don't know yet how to get there. Meaning at the moment Rusts' learning curve doesn't get in the way of reaching my goals.

What I have done so far in Rust is some simple wave form generation and modulation and writing it to wav files (via an encoder library). Which kinda is the audio equivalent of "hello world" so I wouldn't call it application.

My first actual application I'm aiming to build by the end of the book, is a basic midi playable polyphonic synthesizer with the usual features and some effects. If this is realistic or not, I don't know. But I reckon if Rust gets in the way it is not because of the language but lack of resources and available libraries for the domain.
Is there a good source for electric vehicles causing more pollution than modern engines? I haven't seen anything to that effect.

Here's an article that suggests that, in the US, gas cars would need better that 55mpg to have lower emmissions than EVs powered by the grid. In France, because of their different grid generation systems, you'd have to have a car running at 524mpg.

https://phys.org/news/2017-11-emissions-worldwidegas-battery...
"women leave jobs because they get treated poorly. Men leave jobs because they think someone else will pay them more"

What a stereotyping generalization.

Also, underpaying is a (fairly common) form of poor treatment.
+1 Sandstorm is awesome. And porting an app is not complicated, thanks to a sensible architecture and good documentation.
This is very cool, but I have no idea at all where I'd ever use it.
Facebook Watch Platform to Launch Dedicated News Section
Cheap hosting that also manages to be served from 120+ places around the world.
You also rightly said, "For decades the musical music was captivated with math in the 20th century. This wasn't some spiritual journey in music it was a mathematical puzzle they were trying to work out."

Yeah, you are right, for some. But actually, for some others, it was a serious spiritual journey. Like for George Crumb! (way into numerology- used it in Ancient Voices, Black Angels and other pieces- yeikes!- but some people dig this-- remember though, some people also dig a good seance or a good horoscope you know?)

https://music7703lsu.wordpress.com/2017/03/12/liturgical-num...

https://www.youtube.com/watch?v=11o8nHk-l_o

Also- look into Webern's beliefs about numbers. He was really driven/controlled by this superstition. There is certainly a tradition of just this kind of spirituality that is alive in jazz today. Sun Ra was all about this spirituality without the math stuff.
https://www.youtube.com/watch?v=djBKQNVj5Cc

Anyhow, computers had a lot to do with this math obsession in 20th century music composition.

And Ornette? Was he about math at all? I may not know about this. For me, having played a lot of his music, I'd say that his music is a music-of-the-people, and much more about folk music than jazz, although he's of course a great jazz musician. One of the greatest, and maybe because of this fact. He had confidence in the simplicity of his ideas. He didn't seem out to prove anything to anyone. Harmelodics has absolutely nothing to do with mathematical relationships or theory. It's all about each bringing what they think to a melody. (in very short, here) But if he was about math, I just don't know it. Please tell me, so I can look into it.
It's a tradeoff, IMO.

Either you spare a few CPU cycles or a bit of memory. Though chrome doesn't seem to be doing good on either front.
Another happy user of a T450 here :)
Welcome to the American security state

https://www.washingtonpost.com/news/powerpost/paloma/daily-2...

Entire government is run by shady people. Even tech boards of companies like Dropbox have Secretary Rice on them.
This site seems really scammy. Another attempt to deflate stock?

https://www.thestreet.com/video/14469681/jim-cramer-on-amd-t...
"fakenews.com"
This is such a weird site.

> amdflaws.com

> This site is maintained by CTS-Labs. By accessing the contents of this website, you confirm that you have read our full disclaimer.

The white paper seems non standard too, where's the disclosure timeline, etc?
You might wanna check out ACL2, which is a theorem prover rooted in common lisp: http://www.cs.utexas.edu/users/moore/acl2/
Same for the mobile version. It's unusable on single core devices.
In addition to ameister14's point, OP was also pointing out that you can glide to land on little to no power, where as a helicopter can't do that.
I'm not trying to dismiss this outright, but what is this? Is this a hoax or real? Because from the name of the site to the whitepaper, it all smells rather fishy. I also read on Reddit that they only told AMD 24h before disclosure, even though all of these vulnerabilities are supposed to be "public knowledge" anyway?

> It summarizes security vulnerabilities, but purposefully does not provide a complete description
of such vulnerabilities to protect users, such that a person with malicious intent could not actually
exploit the vulnerabilities and try to cause harm to any user of the products described herein. Do
not attempt to exploit or otherwise take advantage of the security vulnerabilities described in the
White Paper.

> The report and all statements contained herein are opinions of CTS and are not statements of
fact. To the best of our ability and belief, all information contained herein is accurate and reliable,
and has been obtained from public sources we believe to be accurate and reliable. Our opinions
are held in good faith, and we have based them upon publicly available facts and evidence
collected and analyzed, which we set out in our research report to support our opinions. We
conducted research and analysis based on public information in a manner that any person could
have done if they had been interested in doing so
I'm surprised almost nobody's talking about the relative change in safety yet.

Transportation accidents are the leading cause of "unintentional injury" deaths (i.e., not disease, suicide, or homicide) [1]. Although the absolute rates are somewhat low (7.28 fatalities per billion miles for cars and light trucks), you are approximately 100 times more likely to die while driving than flying (table 2 in [1]).

[1]: http://faculty.wcas.northwestern.edu/~ipsavage/436.pdf
And as app builders you have to explain people how to enable the permission anyways if people try to e.g. use their current location. Luckily since a few versions now, iOS allows apps to directly open a certain settings page, e.g. location services.
Over the years I have tried to teach people to code a lot (and mostly succeeded) in various settings. I went through a lot of approaches, so here is what I learned:

Some restrictions in what a language lets you do are helpful, whereas others are not. In particular, functional programming has been a lot harder to pick up for many folks I have worked with before, so I would definitely go with an imperative language (which appears is what you were going to do anyway).

A static type system has been helpful, though. Both in requiring the aspiring programmer to think about what type their data has or should have and in documenting your own and standard library code. Additionally compile errors (and annotations right in the code) have proven helpful by catching errors earlier and reducing frustration.

I wouldn't recommend C, C++ or Rust or a similar systems programming language for a first language, but C# or Java. If you have access to a Mac, Swift might be a good idea. I have personally made very positive experiences with the Playground for teaching.

After explaining the bare minimum needed in a language to get anything done reasonably (and reinforcing with exercises) I generally let the student choose some task they are interested in tackling (if they try to do something that I know will be virtually impossible for them to do, I encourage them to choose something else now and revisit it at a later date), for example a Sudoku solver, and let them work on it until they ask for help or feedback or haven't made progress in some time. I will generally give them a nudge in the right direction if they are stuck or give opinions on how code could be simplified, sometimes introducing new language features.

Only when someone is reasonably comfortable with programming and can solve most "problem solving tasks" (not neccessarily efficiently), I would move on to frameworks and such.

Since you mentioned you were based in Germany: In my experience it is quite hard to get a permanent job here without some formal education. Your wife probably doesn't want to get another degree due to the immense amount of work required, so a long term goal of freelancing might be sensible. Since there is a relatively large demand for freelance work in the web field, and particularly in front end, I would be inclined to agree that that might be a good long term goal.
Very heavy on fear and branding, light on technical detail...

Its very interesting to contrast this to the way Spectre and Meltdown were 'marketed'. They had fancy websites too, but not quite as blandly corporate sanitized as this one, and both actually focused quite a lot on the names of the security researchers who had found it, and went into details.

Whereas this is just trying to get the public to put pressure on AMD and to get corporate purses to commission CTS-Labs reports.

Will be interesting when the details become public.
Were they given a heads-up of 7 months ?
I recommend both of these:

3 minutes
https://www.youtube.com/watch?v=2HqvbdOWpc8

5 minutes (see from minute 1:20 - 4:30)
https://www.youtube.com/watch?v=eKVK5rTrOlg

In short, figure out if you're an agreeable or disagreeable person and how that might play out when asking for a raise. Then when you ask for a raise, do it from a position of strength, which is to say, go into negotiations with solid reasons and a competing offer from another company.
I second this. It took me about 7-8 years to feel like there's no webdev issue that I couldn't solve: be that developing a new feature, improving the performance of busy services, or identifying and fixing hard-to-reproduce bugs.
Doesn't sound like the big, attractive market to serve, though. What's the population of that area?
> Electricity usage in the western world is getting greener fast.

81% of energy produced in NZ is renewable. Complex terrain would make such vehicle a saviour. Plus, in any terrain planes almost always travel less, so savings are intrinsic.

Finally, using "taxi" name here is awful. At the most it's going to be an entertainment device initially (tourism and extremely expensive attractions are insane in NZ), method of access remote places later.
RapidAPI raises $9M led by A16Z (TechCrunch)
I think that was only backported into the Fedora version?
So, basically she's fully qualified to lead the CIA?
> The reality is that small piston aircraft are approximately as fuel efficient as the vehicles around you on the highway

This is just objectively wrong.

Before taking wind into account, a Cessna 172 travels 120kts on a good day and at altitude and appropriately leaned can get down to 8 gallons an hour.

120 nautical miles in 140 miles (less, but benefit of the doubt and all). That's 17.5 miles per gallon. At cruise altitude. Leaned appropriately. You can tack on another few gallons for the climb, and you're going mixture rich on descent so you're back up to 10-11 gph for the last 20-30 miles of your trip. You're lucky to get 10mpg overall for a flight, and that's using gas that costs $5 a gallon.

There are a LOT of benefits to GA flight in order to get around. Fuel efficiency is definitely not one of them.
I actually came up with a decent use for the vibrate function on this control [0]. It's a clickwheel type interface for picking an altitude. When the number changes it triggers the vibrate function making it easier to use the interface without looking.

[0] https://i.imgur.com/aiFFzLP.png

edit:

I've linked a demo below with the following caveat, this demo was set up exclusively as a mobile interface and still needs plenty of work. One of the issues is the clickwheel size is initialized as a percentage of the screen height when the page loads. So if you resize the window significantly or switch to mobile mode in dev tools, you must refresh the page to get the clickwheel size to adjust accordingly.

https://faa-aviation-data-portal.github.io/pirep/pirepMobile...
There were thousands of changes from Firefox 58 to Firefox 59 (I count > 8900 changesets, though some are merges).

The release notes only list the most visible and most unexpected changes. Ongoing memory and performance work rarely clears that bar. It's happening all the time.
> I don't think it really works to think of Kotlin as a functional language. It's really more of a modern OO language that happens to have borrowed a couple more-or-less cosmetic things (default constructors, companion objects) from Scala.

My baseline for a "functional language" is ML; wikipedia's description of it opens "Features of ML include a call-by-value evaluation strategy, first-class functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching, and exception handling." Kotlin notably has all of those, and equally notably doesn't really have any other central, language-defining features (with the possible exception of delegation); in many ways the core languages is no more or less than ML.

> Modern OO has adopted many things from FP, but I'm sure there's an old Smalltalker waiting in the wings, ready to come out and observe that a lot of this is equivalent to Renaissance Europeans rediscovering a lot of ancient Roman texts by reading their Arabic translations.

Disagree; these ideas are not borrowed from Smalltalk, they were present in ML (ML and Smalltalk are contemporaries but quite independent of each other) which retains its own distinct lineage. Scala and Rust are openly of ML descent, and I think Swift also acknowledges an ML influence.
You could get the slice battery, along with the 9-cell that should bring you to 15 hours at least, and probably up to 20 (provided you get batteries with accurate stated capacity).

Yes, it'll make the laptop significantly more bulky, but the X220 and X230 are from before Lenovo started putting ultra low voltage CPUs in their laptops, so they do have higher TDP than later models. That's just how it is.

The X240 can supposedly go for over 24 hours with the maxed out battery configuration.
The family flew on one of New York Airways' helicopters from Newark to Kennedy back in 1974. Pretty exciting stuff for a 4th grader!
Screams "scareware" and "financed by Intel"...
It looks like they are trying to drum up business
I have a hard time believing that public transportation or walking are more dangerous than driving in the US or elsewhere.

Do you have any statistics on walking or public transit safety? I couldnt find any, though car safety is very accessible.

edit: It seems the vast majority of pedestrian accidents are because of collisions with cars. In a future with more public transport and walking, they will be even safer.
A non-binary coder? How does that even work? :P
Are you sure you've updated your browser? I have the option in that menu.
I first read this way back when it was first published. I was still studying full time back then. I recall it being one of the things that really motivated me to learn more. It meant that there would always be something new and interesting for me to learn that would make me a better programmer.

~17 years later that has definitely been my experience.

It’s possible to be very productive in a language after 6-12 months. The code might be decent, or with some talent and hard work, even good. It really doesn’t take all that long to learn enough to produce some cool things. However, I’m almost certain that if you look back at the code you write today in 12 months, 5, or 10 years, you’ll see many things you’d do differently. This is partly because In 10 years you will see many more problems, and solved them in many different ways. Personally, that’s one of the things I really love about this field.
What? They've funded side projects in addition to Google X doing there thing for many years. You think the CFO gets to tell the CEO what to do? She brought in meaningful changes (namely, not throwing money around like it's nothing). But trying to weirdly give her credit for this being a non-Alphabet company is... weird.
This is not commercial aviation, this is general aviation (even if it's commercial in nature). GA is more dangerous than driving, roughly comparable to riding a motorcycle, and that's being optimistic.
Someone shorting AMD?
Well CTS-Labs seems to be an Israeli "cyber-security" consultancy, and I can't find more back-history than that. They do seem to have got the story into businessinsider and cnet etc already in the past hour - these are the only CTS-Labs hits I find on google.
Does this include the forced collection of the user's usage data?
Asynchronous Video Messaging Comes to Slack
You’re asking for something impossible, I.e. proof of something that cannot be proven. After all, any sort of statistic I could find would be tainted by your “media bias” catch-all.
What news are you looking for? I'm fairly sure extensions targeting the older APIs will not be supported in any future release.
Not sure whether this is being hyped extra due to Intel's desire to tar and feather AMD. Certainly, the FUD around where AMD's chips are made is other-than-honest, and many parts of the paper are blatantly speculative.

One part of the paper claims that AMD's use of East Asian IP is inherently inferior and established IP-based backdoors in Ryzens. With such a bold claim, put up or shut up, please.

Nonetheless, the vulns appear real, but without PoC, all CTS has here is vapor, and they don't even have PoCs internally for all of the exploits which they claim to be documenting.
Interesting, and real nice! I built something similar for my raspberry pi cluster with docker swarm (albeit no testing and tailored to my use case).

Kicking myself for not making "production ready" and posting here now.
Many of these are real problems, but they are way overblown.

There's a big difference between a break and enter, and "The airbnb guest stole my lamp when he left!"
I just gave a talk on flying cars. It turns out technical difficulty is not the reason we don't have flying cars, or self-driving cars.

Innovation is one way new technologies can change the world. For example, the reason we have skyscrapers is due to the elevator brake.

Elevators have existed in some form or another for over 2,000 years. But without the modern innovation of the elevator brake, nobody felt safe being hoisted by a rope up into the air, where a fall could kill you. And nobody looked forward to walking dozens of flights of stairs. A new combination of a spring, gravity, and a ratchet-and-pawl (all existing for over 2,000 years, the same as the elevator itself) gave humans the feeling of safely moving up and down in space that they didn't have before.

But innovation is not a guarantee of success. Electric cars have existed for 190 years. Their innovation, combined with the development of modern batteries, made them the most popular car by the beginning of the 20th century. But two decades later they disappeared, when cheaper, more convenient, more useful gas cars became available. It took another 60 years to develop a new production EV.

In comparison to land-based vehicles, drones are used to fly automated GPS-coordinated routes around the world every day. There are about 31.7 Million airplane flights over the USA every year. And even though 37,000 people die in car crashes every year, only 399 people died in air crashes in 2017 (world wide!). Not only are flying vehicles clearly safer than driving, we can very reliably coordinate flying vehicles.

So why don't we have automated flying cars? Nobody decided to build them. Until startups like this one do the actual hard, long-term, complicated work to coordinate all the necessary pieces, and can figure out how to make it both convenient and cost-effective, it just doesn't happen. And the same is true of self-driving cars.

Until someone decides to coordinate all the complicated parts to get it working, it doesn't exist. Sometimes this takes convincing society to make compromises - like, you don't get the "freedom" of piloting your own vehicle, unless you are very very well trained to do so. And sometimes it just takes lots of elbow grease. Personally, I think we need more of the former than the latter. But I'm glad this company is taking on both challenges.
> it's unhelpful to throw book titles at a person without any context or guidance

Here's one reason it's unhelpful; After 4 or 5 people list a bunch of books, you now have a long list of books, and no way to know which to start with, unless there is a lot of overlap - you could just as well google/search amazon and look at ratings, which would give you far better results.

Furthermore, many people tend not to read multiple math books on the same subject, so they just recommend what they know w/o having any knowledge of how that book fares against other suggestions.

If they expand on either their own credentials, and reading on the matter, so you have the context of their knowledge; or give reasons why that book is good, this gives a better basis for comparison.

As an aside; I like the coursera structure of following video lectures with content summaries of what was covered in the video. The advantage is 1) quick reference of material without having to search through a video; 2) if you already understand the topic, you can often just read the summary, and skip the video if you think you already know the material.

Another aside; one problem with books versus videos is often books are long compendia of a field, where as videos are shorter. if you already know topic A and want to learn B, then there may already be a video on topic B, where as a book might cover B in some chapter. For these cases, it might be good to discuss individual chapters/sections of book, but that assumes you can ready them somewhat independently given prior knowledge.