skysight-inc/HackerNews huggingface dataset:
I have developed an Emacs/Org Mode package that can export subtrees or whole files to Markdown files. The front-matter stuff like title, author, tags, categories, dates gets auto-derived. These Markdown files are Hugo compatible.

See https://ox-hugo.scripter.co.

Dozens of ox-hugo + Hugo users have shared their sites and site source in Org mode here: https://ox-hugo.scripter.co/doc/examples/
(Direct Managers for many years). I’d have to pick between mediocre, bad, dishonest and useless. So I would go with mediocre as my best pick because his intentions weren’t bad. It’s just that he wasn’t performing well.
Never mind. Had assumed this was a bonus game on a slot, it’s actually the whole thing. Neat.
> A tip is just an investigative lead. "Hooker Chemical is dumping massive amounts of toxic waste at Love Canal" would be a tip.

Actually, that's not a tip by the NY Times definition:

A strong news tip will have several components. Documentation or evidence is essential. Speculating or having a hunch does not rise to the level of a tip.

https://www.nytimes.com/tips
Through a privileged security barrier, which in practice would look like a separate API. That API would in turn make win32 (or UWP or whatever) calls.

At a minimum we'd need a separate API to enforce a web / mobile style security boundary.
I've heard this argument before, but I disagree.

Politics is the debate of honest ideas and philosophies regarding governing. Arguing whether a given right should be granted to certain groups of people based on race, sex, creed, or sexual orientation is not about governing.
And people wonder why politics is so divisive now. It’s not longer about disagreeing with someone, it’s about painting them as immoral and not worth engaging.

Have concerns about immigration levels? You hate immigrants and that’s wrong.

Worried about crime? You hate minorities and that’s wrong.

Worried about government spending on welfare? You hate the poor and that’s wrong.
Stanford CS143 - Compilers [1] and [2] MOOC: This self-paced course will discuss the major ideas used today in the implementation of programming language compilers, including lexical analysis, parsing, syntax-directed translation, abstract syntax trees, types and type checking, intermediate languages, dataflow analysis, program optimization, code generation, and runtime systems. As a result, you will learn how a program written in a high-level language designed for humans is systematically translated into a program written in low-level assembly more suited to machines. Along the way we will also touch on how programming languages are designed, programming language semantics, and why there are so many different kinds of programming languages.

MIT 6.035 - Computer Language Engineering [3]: This course analyzes issues associated with the implementation of higher-level programming languages. Topics covered include: fundamental concepts, functions, and structures of compilers, the interaction of theory and practice, and using tools in building software. The course includes a multi-person project on compiler design and implementation.

[1] https://lagunita.stanford.edu/courses/Engineering/Compilers/...

[2] http://web.stanford.edu/class/cs143/

[3] https://ocw.mit.edu/courses/electrical-engineering-and-compu...
The term "proof" seems to be a lot of the problem, because it implies something definitive.
A friend "hacked" a similar betting gaming machine.

The game cost $2 to play. It loosely followed the payout rules of the TV show "who want's to be a millionaire". There were about 10-12 levels and every 2-3 wins you'd get to a checkpoint where you could cash out or continue playing for more money.

Each level was slightly harder in difficulty/time with 3 "prize/payout" levels, which changed based on how much the machine had paid out recently. You could generally win anything from $10-$40 per play.

It had about 8 different games you could play (one being sports trivia). One of the games you could choose was "spot the difference" where you have 2 images side by side and you needed to touch the screen in a set amount of time to find the 5 differences.

The method my friend worked out to "hack" the machine was to cross his eyes and merge the 2 images into one, similar to the stereogram "Magic Eye" images you can find. By crossing his eyes and merging the images into a single one - the differences stood out really clearly.

This lasted a few months with him and his friends cashing in on all the machines in the area, whenever their prize level was high. Eventually the software company worked out there was a problem with that specific game and updated their software.

It didn't pay out as high on that game. And the top prize level had to be completed in under 2 seconds. Which when you're trying to press a not-so-great touch-screen 5 times in 2 seconds, was not possible as not all presses would register if you touched it really quickly.
As I mentioned in my post the DBS experiments suggested to me that we are closer than we were when Silverberg and others posited "wireheads" in their fiction.

The ability to manipulate several phase coherent RF waveforms creates the ability to fairly precisely create energy lobes inside the soft tissue. Time will tell of course.
> But lots of real news spread through social media too. Real news like the weinstein story that the nytimes squashed.

The Weinstein story was researched heavily by reporters for (years?) and published by the New Yorker and the New York Times, for which they jointly won the Pulitzer Prize.
A Subway line will always be an order of magnitude more efficient than a system where each individual is in a separate vehicle, self driving or not.
Agree, the simple solution is the best solution.
What Are Your Chances of Being Hit by a Meteorite?
I can't see even self-driving cars coming close to the transportation efficiency of light/heavy rail. You just can't fit people close together if each person is in big metal box. Also, self-driving cars would likely increase the amount of time people would tolerate in a vehicle as you can do other things so more people would be willing to sit in traffic and commute times might not even improve.
Appears it's locked now? Can't seem to reply :(
I don’t really understand this argument, because there already are lies published on the internet. What difference does it make if those lies are published in a standardized machine readable format or not?
>You can't silence truth on social media. You could spread lies, but you can't silence truth. Whereas news companies can silence truth and spread lies.

News outlets never had the ability to silence truth, just limit how easily it could spread. You could still self publish your truth or tell everyone you know, the same thing social media allows.

>If you really cared about fake news, then you should be more worried about the news companies than social media. It's odd you are not

Media companies are perfectly capable of using social media to spread their propaganda. It's likely easier, as it allows them to craft separate versions that appeal to different people.
When I walk people through Qt, I usually start with the QObject/QWidget class setup, show some basic UI elements, create a "Hello World" QApplication, then walk into signals and slots.

The event system is usually something a neophyte Qt programmer hardly ever touches. I don't know if I would lead off with that.

(psst..also: blog posts really shouldn't go under Show HN. Check the rules)
Whoops, guess HN used up my bandwidth. Here's a video on YouTube https://youtu.be/PICrG3X8XIU
Thank you(!!!!) for releasing the schematic!
Where in the video did they do anything wrong?
Boko Haram burn 3 villages in Borno
Made of Steel (2014) [pdf]
That's what we did in latin! October is month 8! And then some dude messed it up.
Will these cars go 100-300 mph? At some point, shouldn’t maglev trains and subways be practical?

https://www.businesstoday.in/current/world/china-successfull...
The best time to build a rail system is kind of like the best time to plant a tree. 20 years ago.

It's sad but it seems to me contemporary Americans don't want to pay for something that they will only reap the benefits of in later decades

There's so much in that style of thinking. The irony of depending on roads built decades ago. The debt system conditioning people to expect to "get it now, pay it later". The hypocrisy in "investing" 10k-100k in an education but not a few measly percent in taxes
The BFG repo cleaner is pretty handy for the same purpose as well!
A Treasure Trove of Movie Ads from the Heyday of Newspapers
Earliest animal fossils are identified
China Ramps Up Cyberattacks on Taiwan Ahead of Local Elections
The annoying thing about ST3 is they totally ignore the existing unused rail lines from Renton to Bothell, which could add 20 miles of critically needed track at little expense.
I’m sure they also are “biased” in de-prioritizing content from fringe conspiracy theory sites too, is tha a problem as well?
Not really.

Between serious professionals, there will be a few disagreements, but (1) you can work through them with some give and take, and (2) over time you get to know each other, which usually means one persons agrees the other's style is better, or you agree to to disagree on on point.
Surprisingly, it's one of the (very) few cases where not building the subway was the right idea in the long run, because of the magnitude-9 earthquake risk the region faces that wasn't known about in 1965. A subway could be built today, but an elevated rail system would be safer, according to my limited understanding of earthquake safety.
https://www.dol.gov/ofccp/regs/compliance/section503.htm
Meh. I think it will be a net positive imo. Will help in socially engineering a more peaceful country.

As a group it will be good. For an individual it will suck. We all know how difficult it is to change ourselves.

Most foreseeable change I can see is that Chinese tourists being seen as nicer and more friendly as the rude ones with low social scores won’t be able to get a visa.
It was a fault-tolerant, fully distributed relational database which was compatible with MySQL's variant of SQL. There were no key-value stores involved.

Tables (and indexes) were automatically partitioned and replicated as needed, completely under the covers.

Queries (reads and writes) were distributed to the nodes where the data resided, in parallel.

Scaling the system was as simple as adding new nodes. Data was automatically rebalanced to take advantage of the new capacity.

Failure recovery was automatic too. If a disk or node failed, the data involved would be reconstructed from replicas and moved elsewhere with no interruption in service and no failed transactions.

It was a pretty impressive system, which predated Google Spanner. But, in the early days, you had to run their custom hardware to get it. There was no cloud version.
Especially when it's all stuff that's already been covered in very similar essays.

Actually introducing good libraries and methods for handling these issues properly would be much more useful than a smug collection of fallacies and a tacked-on link to ICU at the end.
If it's really that important to be secure, I'd use an electronic password generator fob that intermixed the password list with a universal cosmic radio background radiation signal.

Perhaps he just gave you a one time use password. Or maybe not. I just know, if you want the password delivered in person, only ask for it, in person.

I'd probably rethink the whole system, and not the user.
International Pen Pals
Here's my personal favorite, GMT +0h 19m 32.13s, which was used in the Netherlands until July 1, 1937: https://en.wikipedia.org/wiki/UTC%2B00:20
"protecting the cyclist from the wind" is simply the layman's way of saying "eliminating aerodynamic drag"
A google earth web concurrent...
I started to build very first basic feature: https://www.openearthview.net
If you want to restart it from 0 or start from what I did, you're welcome !
I can help on defining the need/expectations.
My email: clement at igonet dot fr
I work with MAPS (Multidisciplinary association for psychedelic science). We have been working with MDMA as a treatment for PTSD with incredible success. The work we do is important and inspiring but it can be tough and dark at times. I can not tell you how incredibly jealous I am that i was not involved in this research.
That it is incorrect to say that personal bias or subjective interpretation has never played any role whatsoever in search results is a vacuous truth. It's a meaningless tautology. And it's fallacious to use it to excuse for injecting any sort of political ideology into search results.
I'm not from America, can you please explain what "early Fall" means?

Changing the website to an approximate month or a quarter would be fantastic for those of us not from that side of the world.
Yes, I have been working on a programming language. if you are interested in it you can help me out. I am using rust. the main point of the project is to learn rust and learn language design. as of now, it's like burning candle from 2 ends. rust is not an easy pick even if you know 5+ languages and have 7years of exp.

Your role will be mostly doing research. how other languages do certain things. at some point, we/you can implement it into fiber (project name).
You don't have to identify the underlying condition, but it may be awkward not to.
It might not be that difficult to implement a high level DSL around one of the geometric modeling kernels like Parasolid, ACIS, etc. that form the computational core of GUI CAD programs. But I don't know if any equally powerful CAD kernels exist in the open source world.
I kind of did the same thing though with slightly different results. I suspect it's probably down to timing as well as skill level (and what those skills are in).

Throughout my early 20's I bounced between service jobs, saving, then extended travel (usually working in youth hostels or service while abroad as well). The last big trip was 6 months in Asia and coming back to attempt to enter the working world again in 2009 which...wasn't a great time.

Through social connections, I was able to make a cross-country move, work in a new industry, and actually got decent enough to be promoted from a very low-level to actually managing a team of people on projects within 1.5 years. But those 1.5 years were lived at 70-80 hr workweeks which isn't exactly good for a person. Then the projects ended, the company moved and I was laid off.

Tried to move to a different industry. Another bout of unemployment. Moved into IT and now in my third company in five years (due to being laid off).

My intent, having moved, was to create some measure of stability in my life but it's not worked out like that in our modern work environment, especially at the less in-demand side of the economy where stagnant wages, reliance on employment for healthcare, and rising housing costs might keep you spinning your wheels at a job because at least it's what you have, a current paycheck.

To circle back to what OP said toward the end - being able to walk away (the FU money), if you're able to get in that place - is definitely worth it.

I think it's also helpful to try and assess not what makes you 'happy' at work but maybe what tips the scales for what aspects of what you're doing are enjoyable, stimulating, etc. and what you dread or dislike and, whether in your current role or future ones, try and aim toward a position that includes more of the former.

My current job isn't all green grass and puppy dogs but I'm content right now, which helps me focus more energy on other aspects of my life. And maybe that's the best we can really hope for since there are no guarantees in this life.
Most of the Eastside cities desperately want to turn those into amenity trails. Kirkland, for one, is on record vehemently opposing any light rail in the Eastside Rail Corridor because they think jogging/biking/walking trails are a better use of that right of way.

And the few spots that aren't being or targeted for being converted are still, technically, active freight rail lines so light rail vehicles can't run on them.
Do you have stats? You might be projecting.
> Share most of your code between the web, iOS, Android, and Windows

How is it better than React and React Native if it still is web+mobile+Windows and doesn't offer Linux and macOS support? Also doesn't the fact React is by Facebook and ReactXP is by Microsoft and introduces Windows support look suspicious like if they were building an incompatible version of React like they've done with Java in the past?
It has a similar model. Instead of the pop up you can't choose a different theme (ex: dark theme) unless you buy a license.
Show HN: Interactive Go REPL in Your Browser with WebAssembly
> I'm not talking about decidability.

If you are talking about theorem proving then you are most definitely talking about decidability! And especially if you are talking about wide-spread use of theorem proving (or lack thereof), then you are definitely talking about decision procedures!

Decidable theories are easier to build formal proofs for than undecidable theories because the former requires only pressing a button and grabbing a coffee/lunch, while the latter requires hard work manually encoding bespoke deductions.

> Real closed fields are decidable, in that a Turing machine can determine in a finite number of steps whether or not a field of real numbers is algebraically closed

No.

Real closed fields are decidable, in that an implementable algorithm can in finite time and without a single iota of effort on the part of the user prove any arbitrary theorem stated in first-order logic over the reals.

If you want to prove some arbitrary thing about Peano integer arithmetic, odds are fairly good that you're going to have to carefully program out the proof by hand.

If I want to prove something arbitrary about real closed fields, I can press a button and go for a run.

Computers are much better at proving things about real closed fields than they are at proving things about integers!

> I'm talking about computability... Most real numbers are not computable, which is why floating point numbers are only a good enough approximation as I stated.

One does not need to use a single float point in order to axiomatize the real numbers and prove things using that set of axioms.

This has been done so many times that there are even survey papers about all the various approaches: https://hal.inria.fr/hal-00806920v1/document (Floating points are a nice optimization and therefore many people care about them in practice so that they can take fewer coffee breaks during their theorem proving sessions, but again, they are not necessary.)
Self driving will have an impact like Uber: slightly decreasing ownership rates but massively increasing traffic.
The link rot still occurs on IPFS when the content isn't being seeded, I don't think that's an improvement.
The problem is not that the benefits will come in decades, but that they won’t come at all to most taxpayers. Here in DC we built a subway 40 years ago. It’s a huge boondoggle that is usable for a single digit percent of the taxpayers who pay for it. Folks in Richmond who might ride Metro a few times in their lifetime or lower income folks who work in the suburbs subsidize the commutes of lawyers and federal government workers who work downtown.
Thanks! As an amateur advantage gambler, I find all of this stuff fascinating.
> Can we please stop trying to Javascriptify everything?

Good news is they have invented a better programming language called ReasonML for React.
Most code review ends up being pair/team programming gone horribly awry. There's a lot of ego involved, it's slow and cumbersome, it's emotionally painful, and the metaphor is wrong (a panel of judges inspecting a lone defendant rather than a team collaborating on an engineering artifact).

I recently had the opportunity to work with other developers on a project by displaying a laptop onto a giant screen while we all sat on a couch and drank coffee: it was fun and we produced a high quality result. After years of code review, on the other hand, I can say that code review is painful, expensive, and mediocre.

I'm hoping that as software 'eats the world' and provides ever more value to larger numbers of people, companies will realize that putting a single developer on an engineering problem, and having the solution be submitted for review to the rest of the team after the solution has been designed is both unkind to your employees and bad business.
I was in a similar situation in a kind of reversed way several years ago. I was good at coding, but had no interest in it, since I had started learning it around 8 years before. The passion just wasn't there any more.

But I was struggling financially so I took a freelance gig and turned out I enjoyed it pretty much.

I believe you are pretty screwed if you want to only work on what you are passionate about. Things can stay new and exciting for only so long.

I recommend reading the book So Good They Cannot Ignore You.
i'm really new to programming and currently on my first week of a 16 week full stack web dev boot camp. as someone still wrapping their head around breaking problems into smaller chunks, would y'all recommend andrew ng's courses?

i'm coming from teaching elementary school, so my math skills aren't all that advanced :o)
>>Since the typical person searching for those terms is obviously interested in a broader view

>Do you have any evidence to suggest that this is indeed the case?

Only my apparently overly optimistic understanding of human nature.
ReSub, write React components that automatically manage stores subscription
Exactly. Imagine the uproar if the first result of “holocaust” was a site saying it is a hoax
Australia Citizens scare as metal needles are found in strawberries
Can we please stop gatekeeping our industry and embrace tools that lower barriers?

But seriously, if you're concerned about the quality of software, build better tools that guide new developers into best practices. Remove needless abstractions, replace others, and optimize the rest.
Surprisingly, tunnels have very good earthquake resistance. See http://www.wsdot.wa.gov/Projects/Viaduct/Status/Blog/tunnels....
It's a mystery why King County can't override Kirkland. And even if they can't, it can still be used to connect Bellevue to Tukwila, creating a loop around south Lake Washington.

> technically

It would be orders of magnitude cheaper for ST to buy them than to create new right-of-way. And I haven't seen a train on them for decades, ever since they tore up where it crossed over I405 in Bellevue.
This is true of open source contribution as well. A few moons ago, I (relatively) quietly stepped away from a rather large open source project that I had contributed a fair amount of impactful projects to. There was no fan-fair made about my departure from any party, including myself. As time passes and people find out, they've reached out to say how much they appreciated what I had done - much more so than when I was active on the project.

It's deeply satisfying on many levels to hear as much.
One of their ideas was to place banner ads for non-profits who were fighting against the ban.

It sounds like adding political content to the search, not removing it.
Comes with the territory of "bringing your whole self to work".
Seems way more tractable to me than solving link rot in the regular web.