skysight-inc/HackerNews huggingface dataset:
>Like, dude. It's a job. You have what seems like a bog standard middle class existence - just like countless others.

Yes - the post seems to be ignorant of market forces.

My cool project you want to see? Likely more interesting and sophisticated than what most entry level jobs will have me do.[0] I don't want to show you my "brilliance" and end up with a job full of tedium - but that's how most entry jobs are.

Yes, there are always a few companies who will allow you to do interesting work. And 80% of them are small/tiny companies who can't pay much even though they genuinely do interesting work. They are not startups - they are simply niche businesses who have reached their steady state size.

[0] I solved more challenging HW problems as an undergrad at an average university than in my first 8 years in industry. As is the case for most engineering undergrads.
Mathematics was nowhere in architecture, engineering or technology before the renaissance. Heuristics, written or taught were the only things used. There were no formulas, even geometry, that was invented BC had no place in architecture of 13th century.
> Also, it is an interesting thought experiment to ask yourself what you know about pimps that is not from white supremacist cultural productions.

Ah, there it is.
iOS 13.1.1 Jailbreak - Verbose booting
If it was just tasking and collaboration, no. But event management does have its own needs, in particular because the event happens in real life, so while anyone can write a registration system for an event, having the data from it tied into a printing solution so people get their badges and lanyards is a specific need of that industry, as well as capacity management for each session. Likewise, making the vendors have a positive experience, so they keep coming back and buying booths at your event. Then there is planning a speaker schedule, coordinating where and when each speaker, breakout session and vendor will have their space, coordinating with caterers, hotels, marketing departments, and all the other people that go into putting on a conference.

In short, a complete package is welcomed in that industry. And some already exist, so if these guys want to throw their hat into the ring, it is a proven market.
> single-digit framerates

In more explicit terms-- you are a soft-realtime app developer trying to live in a world that rarely measures performance or even writes specs with your constraints in mind.

I wish you game devs would harp on this more. I'm just a lowly soft-realtime audio software dev. My voice doesn't carry because there aren't mountains of cash behind me to help echo it.
I see a lot of design and features here cribbed directly from my company, EventGeek.com. Why don’t you identify yourself online?
Your comment kind of confirmed what I wanted to point out, even if you don't see it the same way. E.g. the robot taxis, this statement is what I would a start up to say to raise money from VCs. In that case it would be fine, for a public company that had financial troubles at the time the statement was made not so much. For me that was all about saving the narrative around Tesla. SpaceX space-born internet thing is, at least for me the same thing. It is a way to raise enough money to get enough launches in-house to make reusable rockets financially viable. Again, no idea when and if it is actually feasible. And because he is who he is it works. And now the same with Spaceship while the manned Dragon-2 still didn't have a single manned flight.

In both sectors, aerospace and automotive, you simply cannot ignore existing regulations. Regardless if they are stupid or not. If you try look no further than the 737MAX to see what you get.

Regardless of feasibility and everything else concerning Tesla, Musk and SpaceX all this is at least a risky way to do business.
Amazon and Apple are building rival networks that know where everything is
Yeah the smearing approach is the only one that merits a callout from my position in the pipeline, because the other approaches are handled by your shaper or rasterizer, which are usually 3rd party libs that can be mostly regarded as black boxes.
That kind of difference is invisible to the companies paying for IT services. They pay the IT vendor, IT vendor sorts it out. We already do this today.
I wonder why it took the medical profession so long to become aware of the effect. Piperonyl butoxide, another cytochrome C inhibitor, has been used as synergist in insecticides since before the war, so it should have occurred to someone that the plentiful polyphenols in citrus juice could act as cytochrome C inducers/inhibitors and would have a measurable influence on the pharmacokinetics of stuff.
Edit: obviously that is only for the resolution...

Try looking at any recent smartphone with an at least full-HD display ;)
To appreciate just how many pixels there are and how many pixels per glyph, take a screenshot and look at it on a computer monitor. It's kind of surprising.
Got it. Sorry about that.
Good point, but I doubt those rules existed anywhere in 1912 when this key was invented.
I would code this using nodejs instead of PHP.
It's actually a good intuition. See: https://solar.lowtechmagazine.com/2016/04/slow-electricity-t...

tldr: it would make sense for an office building but actually not that much in a residential one.
It isnt 20 tests. It is one test regime that detects the presence of 20 diseases. It doesnt diagnose any one disease, just red-flags patients for more accurate testing.
48v dc bus and buck converters work just fine. generally power supplies that work off AC rectify and go through the same business - except they need larger inductors to sort out the zero crossing.

i think the difference you're looking for is in volume of copper.
I'm assuming here that they would use the `size_type` for the container they are iterating over. Otherwise I'm not sure.
If the job requires solving anything other than Leetcode problems, you're going to get PIP'ed real quick. Leetcode won't teach you solicit requirements from PM's, how to make network requests, set up your CI/CD environment, deploy your code, configure jest/babel/webpack (if you're doing front end web development). It's useful for demonstrating knowledge of Data Structures and Algorithms, but that's only a small sliver of being able to perform the job function of a Software Engineer.
Sure, Wiles obviously understands the main thrust of his proof. But one could argue that Wiles' result depends on lots of other results, which in turn depend on other results, and so on through decades and decades of work, ultimately going back to the foundations of mathematics. Neither Wiles nor anybody else can claim to rigorously understand all of it. You can imagine this as a tree, with Wiles' work as root, and his dependencies as ancestors, and so on. An error at a lower level of the tree could, in theory, invalidate the root node.

I do agree with Buzzard that it's hard to be sure. I've definitely read papers where a critical argument isn't well written or what is written seems wrong. However, if there are low-level errors, I suspect that with some work things could be patched up.
I probably should point out that the open-source community has always been and still is fully welcome here. HN is large, it contains multitudes.
I still wonder how true this really is. Every time this subject comes up, all I seem to find are people who just want a good screen, and often who don't mind paying a higher price for it. Presumably there are also people who are sufficiently price-sensitive when buying a large flat-screen TV that the reduction from having bundled junkware makes a difference, but as far as I know, I have yet to meet one.

If anything, by now I'd say "smart TV fatigue" is setting in, much the same as "smartphone fatigue" a little while ago. Enough people have had these devices for long enough to see all the a-bit-too-clever software get out of date and stop working, and then they start to see the bundled online services and so on as a negative and start asking their more techie friends and family for advice on how to avoid the problems next time.
I think a lot of people would be interested in reading more about your workflow.
New (>2005) AC/DC converters (switching PSU), have such a high efficiency than I would think it's not worth the hassle
The problem is really that a PhD doesn't get you to reading level either. It might get you there in only one specialized subfield. And there might only be a few dozen other people who are also at reading level for that area. How much do you trust that small group to catch every single subtle, abstract error in papers published in the area?
I can have line of sight of my vehicle, but in a parking lot, there may be a small child, obscured by other vehicles, in the path of motion of my car.

What do you think is going to happen, when a Tesla runs one over?

Hint: They are going to blame the driver for using this feature in a parking lot. Their fanboys will defend the hell out of that statement. They will be oddly silent on the subject of 'If you're not going to use this feature in a parking lot, where the hell are you supposed to use it?'

A 'self-driving' car that is incapable of collision avoidance is not yet ready for the market.
On a serious note, yes. The education spin gets to be a monster of its own topic but education and academia is certainly in need of reform.
oh, right. It’s only good for signing and random number generation, not encryption.

Still that’s plenty useful! It can be used for blockchains and crypto currency.
Switch and bait; works every time.
The rest is split between two other operating systems.

It's OK to admit you're wrong, you know.
> The one thing that most of the colleges don’t do well is teaching you how to apply what you just learnt.

I disagree 100%. That is the primary value I got from college - learning how to not only learn, but break everything down, re-conceptualize it into new things, and build it back up into something productive. We absolutely applied what we learned to our own projects, and I've found those lessons continue to work well a couple decades into my career.
I'm surprised I never heard of them. Any car company startup that sold over 2000 units in a year back then would have been very notable.

I suspect it's because they really weren't a good car for LA which was built for cars from almost the beginning. The hills and traffic would've be horrible for the CitiCar.

And yes, Tesla has changed the industry and has been the only American car company that really has in the past 70 years, which is truly remarkable. I'm still amazed at how much they've moved the entire industry.

I hope they keep on going. What they (we) really need, and I'd expect they're working on it, is a smaller, more affordable car. "A car for the masses", something in the $15-25k range. It won't need any of the self driving functions and 100-150 mile range would be enough for the target market.
Realistically 25-30A with thick copper wire are doable.
20V is a good ground but even then it could power a TV + couple laptops, perhaps lights too. That would be a solution to have dedicate DC lane in-house but the conversion to low voltage DC must have in-house (office buildings would require tons of copper). Galvanic corrosion might be an issue to a certain degree.

Carrying high voltage DC, comes with its own issues - likely doable though. Many household devices would run perfectly fine on high voltage DC (instead of AC).
Don't put words in the author's mouth; nowhere do they contrast microservices with monoliths.

Also, one of Avdi's main points is that a proper microservice architecture is complex, but NOT complicated. And in my personal experiece, monoliths have a tendency to be complicated.
How long does it take your preferred proof assistant to prove things? Metamath's standard set.mm takes only about 10s to prove everything.
I hear this a lot - most of the time its just people happy making >100k not realizing the Canadian dollar has dropped a lot, and just how ridiculous US salaries have become in the last 10years.
We waste vast amounts of space on parking spots. We destroy perfectly good land just in case someone might want to park there.

This could change the shape of shopping and make the world a better place.
Pretty much all switching power supplies would run off DC as well - from 110V - 350V DC.
It's weird to see an article writing about this without mentioning the regulatory and training aspect. Previous MAX MCAS *couldn't" allow the pilot to override with the stick, because previous MCAS both needed to prevent a pilot-induced stall and needed to require no training or knowledge from the pilot in order to maintain the type rating.

A better way to write the article would be "Boeing and the airlines have given up on trying to do MCAS without telling pilots anything about it."
Just because the article says that the healthcare community is ignorant of it, doesn’t mean that it’s ignorant of it.

We had to memorize major CYP4503A4 inducers and inhibitors for step exams back when I was in med school, and memorized metabolic pathways and involved cytochromes for most major drugs.

Granted, most docs don’t remember all the details long out of med school (because that’s literally what pharmacists are -for-), but we retain the broad brushstrokes.

Ain’t new. Just editorializing bs.
Unless I've missed some news, living on another planet is absolutely not something to rely on for this century.

There are local solutions for global warming, it's simply to consume less, people in developed countries could consume roughly 20x less, which is already more than enough (I can relate), and apply a sort of birth-control globally

Space travel sounds like the apogee of consumerism, it's possible to live differently, durably on this planet
> I would not expect home users to know

That's why MS renamed the button.

> or care

They do, else MS would not need those dark patterns.
I am impressed if this business works. You're selling something for $60 with the same functionality as something I can get on Alibaba $0.30-$1 per unit. And the people are buying it because of all the artificial restrictions.
Thanks, I just bought the book.

Hard part is actually writing everyday though. After day job and social responsibilities, I have barely anytime. Then I recently got real estate license.
Although I more or less agree with the above, a point of contention I have is saying the food is better. The food in Germany is not great. It's generally not bad, but the food is almost always bland and almost never amazing, and often just good, not great. I would chalk this up to many restaurants making Germanized versions of the original -- it is often difficult to find something that resembles the original version save for a few select cuisines. Compared to Toronto, the food here (in Berlin) is nothing special.
For all the talk of AC v DC, that debate is moot. Current on-grid solar tech integrates a spec inverter into each panel. In a net metering install (no batteries, generators etc) this is far far simpler. No loads to calibrate, no DC copper to run, no inverters to break, just plug the panel into the mains and see your bill drop. That is the way forward for urban/suburban solar power.
Video showing how it is used, really neat!

https://youtu.be/UW4jZLEgaiU
Scientists find way to travel across ‘very distant points in space'
I have J and Retro (it’s a Forth but they’re similar in spirit) on the iPhone. Doing programming puzzles with those on the train is fun and you don’t have to type much.
Please don't post unsubstantive comments to HN. And please, no personal swipes.

https://news.ycombinator.com/newsguidelines.html
He's undeniably a big factor in all of the wacky things he's done with this and other companies. He's also been a big factor in picking people to delegate to that got all of this done.

There are a few other entrepreneurs involved in space and they each have their own successes to brag about. But none even close to "I launched a car one of my companies built in the general direction of Mars using a big rocket that my other company built".

That kind of ballsiness, for lack of a better word, is what makes the difference to say Blue Origin, Virgin Galactic, or Nasa.
http://www.safetyresearch.net/Library/NHTSA_Autosteer_Safety...

"As a consequence, the overall 40 per-cent reduction in the crash rates reported by NHTSA following the installation of Autosteer is an artifact of the Agency’s treatment of mileage information that is actually missing in the underlying dataset."
Software is very much in crisis because of this exact problem.

Most of us build on top of a mountain of existing work; sometimes just setting a pebble on top and we have a new thing. But no human alive has seen, could remember, or could understand, each and every behavior down in that mountain, from pixels on the screen to pulses on the phy all the way to gates inside their processors.

So you read about the APIs you need; you set your pebble down with a little glue or duct tape; you hope you've connected it correctly; you hope the rest of the mountain works how you want; you hope you didn't miss any use cases for interfacing to the mountain; and you hope it doesn't have any undocumented surprises. Abelson and Sussman called this engineering by poking (1).

Of course, if you want to make something work fast with minimal work, this is great, it's the component future we dreamed about. But it also means we are clueless.

1. http://lambda-the-ultimate.org/node/5335
> previous MCAS both needed to prevent a pilot-induced stall

MCAS is there mostly because of certification requirements for hands-off stability. It is not a mechanism to prevent the pilot from stalling the aircraft.
Borneo Pygmy Elephant
New chrome version shows the title of tab when you hover over it.
When someone brings in a wall of links into an argument, especially an intensely polarizing argument like the nationalistic kind, it never has the desired effect of grounding the discussion in facts. It comes across as a barrage and makes the other side dig in deeper and get more defensive. Hence, more flamewar.

I don't mean to impugn your research or the time you spent on your comment. But unfortunately that style of comment pattern-matches to the "list of pre-existing talking points brought in to further pre-existing agenda" genre, simply because the latter is so much more common in internet arguments of this nature. That's why I used the word "boilerplate", which obviously didn't apply to this case.
Absolutely no to videos. Can't easily tell what's where when I want to jump to a certain section, no result from web search for the contents and can't even copy paste any examples.

It's like keep watching TV for news to find the tiny bit that you might care about. Much waste of time.
Ben is a godsend. I remember having my mind blown by his 8-bit microcomputer series after years of wondering "okay, I know how to program, and I know about assembly, but....what's after that?"

When I ended up taking a MIPS class not too long after, it felt more like a recap of Ben's material than anything new.
To mathematicians,

Welcome to our world!

https://xenaproject.wordpress.com/2019/09/27/does-anyone-kno...

Actually working through some of [the details], when formalising them, made me understand that some of these issues were far bigger and more complex than I had realised.

In the perfectoid project there is still an issue regarding the topology on an adic space, which I had assumed would be all over within about a page or two of pdf, but whose actual proof goes on for much longer

Yeah, that's how software developers feel, all day, every day. That's why we all moan about being asked to give estimates for things. You don't really understand a thing until you've formalised it in code, and often things that look simple and easy turn out to be unexpectedly deep.

Mathematics is a field that's been doing the equivalent of writing pseudo-code for thousands of years. There are endless reams of pseudo-code that looks like it might work, but as any programmer who's ever written pseudo-code knows, whether it actually runs when you try it out for real is anyone's guess.

So now mathematics is starting to experience the pain of multiple incompatible programming languages/ecosystems. There's Lean, Coq, Isabelle/HOL and some new JetBrains language too. Soon they'll start to discover the value of 'foreign language interop', rigorous code review, comments, style guides, design documents, package management, automatic optimisation etc.

Have you ever looked at a proof written in one of these languages? All code in these languages is a hot mess judged by the standards of professional software developers: tons of abbreviations, single letter variables, uncommented, ad-hoc module structure etc. I'm sure we'll eventually see mathematicians having raging flamewars about what clean style is and tabs vs spaces.

Luckily for mathematicians though they work at their own pace and are under no deadline pressure. They'll figure it out.
Hmm can anybody elobrate what Bill Gates and he's wife have to do with Epstein ?

Why Bill Gates has paying to MIT thru Epstein ?

Hahaha.. yes hide me, give me minus.. no worry!
For those confused as I was, you can switch the current station but it's not convenient or meant to be done often. You can basically disassemble the radio and press a button to cycle through available FM stations and leave it on the one you want.

Why this button isn't just available on the lid is beyond me. While I do appreciate simplicity I really don't understand the value of a single station radio either.

> https://www.thepublicrad.io/faq
DD Month YY / DD Month YYYY are pretty common across the federal government
That's not a jailbreak, its just a demonstration of verbose boot on a iPhone X running iOS 13.1.1

Nice try, OP.
> That seems a bit high in my experience, especially as Berlin is one of the areas with lower pay.

I think new graduates may make less than 55k, but salaries are going up and 70k for an offer with 2-3 years of experience isn't uncommon (although it will likely be closer to 60-65k).
"Does Porsche screw their customers when they charge $500 for an oil change"

Uh, yes? Either they've designed their cars so that routine maintenance is unnecessarily difficult or they're overcharging for it, either way they're screwing you.

As an enthusiast it's been my experience that high end audio stuff is usually designed in a modular way and uses standard inputs and outputs and it's the cheaper, consumer grade gear that often uses stuff like non standard speaker inputs. Although the HiFi market certainly has it's own fair share of overpriced snake oil.

I don't know much about coach specifically so I won't comment on that, but there are plenty of handbag brands that exist purely as a status symbol and charge obscene amounts of money just because customers are willing to pay that much, and yes I also perceive that as dishonest.
My son’s school uses this. He came home from his first day of class, started carrying around a book like a clipboard and taking away points from my wife and I whenever we moved or spoke. So there you go, gamification through the eyes of an innocent child. Considering the percentage of my family that was wiped out fighting Hitler, this Nazi stuff really bugs me. It starts with gamification, turns into social credit, work camps are next.
This is using PCOV to test. Thumbs up on that.
See also: tiny houses. Mobile homes or RVs were too low-class, I guess. Not enough hand-planed teak or whatever. Tiny home, now that signals you've attended higher education and have made a thoughtful philosophical choice rather than just being poor. eyeroll
The only good thing about time travel is that once we discover it we always had known it.
> It could have rendered much of Europe uninhabitable for centuries.

I've seen this bandied around a bit over the past few months - perhaps something to do with a certain TV show? - but despite trying, I've never found anything that substantiates the claim.
Miscellaneous unsolicited (and possibly biased) career advice