skysight-inc/HackerNews huggingface dataset:
Hello HackerNews Community.

We are excited to announce the launch of our new robotic process automation software, TikFlow, backed by Goldman Sachs, Coatue and Tencent.

Unlike our competitors, TikFlow runs on Python instead of .NET. So you can turn on python mode whenever you are dealing with unstable UI flows, which has made automations a lot more reliable. It just released the english version and has been a game-changer for thousands of developers.

It also comes with a bunch of pre-built integrations with popular tools like the Office Suite, which makes building automations so much faster.

We are the easiest-to-use RPA on the market and have already helped over 6 thousand teams successfully automate their work. Now we want to step further to help everybody in the world build robots on their computer with ease.

Let us know what do you think of it in the comment.
just one question for the author, why does this system feel more like a relational system than a graph database system ? you ask users to define schema (which I think neo4j doesn't do) and also I think the concept of this rel table which I find in your blog is not present in any other graph db
You may like my silly theory (made with zero evidence) to bring back the Big Crunch Theory. Imagine that spacetime is a sphere, and the Big Bang happened at the "north pole" so to speak. All matter will eventually meet back together and recombine at the "south pole" after which a new Big Bang will happen. Absolutely zero evidence for my idea and it's probably impossible to prove anyway but it's fun to theorize.
Yeah - It does seem like the author is trying to apply too many lessons learned from managing computers and software to managing people.
I have the same aside from CA related (I don't see the point, if I lose control of a domain TLS is not a priority, and I can't stop rogue CA issuing a certificate as CAA is basically unsupported) - also no bimi as it's a solution looking for a problem and not even in the right place.
I'd get behind an incentive in the form of natural gas prices that accurately reflect its externalities. Even add a requirement that new homes have spare/dedicated 220V wiring in places where gas appliances exist (dirt cheap to do at build time, makes retrofitting much easier).

Beyond that, let the markets do their work. If induction cooktops are actually better or win the cost/benefit tradeoff, customers will want them and builders will want to install them. There's very little to gain by forcing them on people.

As noted by the article, there are much also bigger & more impactful targets if your goal is actually to reduce carbon emissions: most notably industrial usage, but also furnaces and water heaters.
Because storage is hard and expensive.

Generating energy is easy (with renewables).
Thanks! Definitely just made all of this spreadsheet up so feel free to modify to suit your team specifics.

As the generator of the spreadsheet I may have marked up the spreadsheet for myself as red for stuff I didn't understand but wanted/needed to understand - to reduce team bus factor - in order to show non-technical management what I wanted to spend time on to close the gaps. I also filled out some other team members' column and based on discussions would mark theirs as red.

I think the context of a month for yellow was "it would take a month to proactively grok the code (prior to any systems down/bug triage) as a 20% activity on top of other ongoing activities (stand-ups, your existing OKRs, support requests)" - so like 1 day a week dedicated to sitting down to grok Other People's Projects.

And now that you mention it - I might have said 2 weeks when I original shared the spreadsheet - so 16 hours to go from yellow->green.

Also important is to take snapshots periodically to encourage/reward improvements to making the spreadsheet red -> green.

A good work output to demonstrate a red->green transition is 1-2 small feature/bug fixes to a feature and/or a documentation update.
> heck one even needs a different kind of car

Why? Most couples have 2 cars anyway. Drive separately with 2-3 kids in each car or get an older, cheaper bigger car. First world problems.
Considering how Rust started as a way for Mozilla to make the Firefox browser more robust, it's kind of fun to see this sort of closing of the loop.
It does. If I define struct to contain boolean, Go yaml parser will always parse it to boolean

If I define it as any other type, it will parse it as that type. So any conflicts like in the article just don't happen, or at worst, produce error in parsing.

Static typing in this case acts essentially as schema
> Did you upgrade Typescript (and if so, why),

What an odd question! Even ignoring new features and better type inference that comes with new versions — once you add typescript to your project, it becomes one of its dependencies. Don't you regularly update your dependencies, just as a good practice, not to let your codebase slowly rot?
unsure if anyone is "doing science". Doing science is applying the scientific method.

Making conjectures, deriving predictions from the hypotheses as logical consequences, and then carrying out experiments or empirical observations based on those predictions.

Not sure AI is up to that, and it's debatable if it'll ever be able to make and test conjectures. There is a difference between symbol manipulation (like outputting text) and actual conjecture.
> Types, after all, are a very weak ontology, i.e., you still cannot know for sure that just because your code compiles it interprets the values it's getting from other party's code correctly.

This again seems to be throwing the baby out with the bath water. Just because in some cases types can't be verified does not mean we should fully be without types at all. There are a myriad of ways to mitigate even this, Parse, Don't Validate comes to mind [0]. Type Driven Development is another way [1], as well as using runtime type checkers like Zod. This article by Kent C Dodds is a really good example of the latter, it covers everything you're talking about regarding unknown types [2].

> I would even argue that it may create a false sense of safety -- just think of the Mars satellite that crashed because some developer thought a number was in imperial units when, of course, it was in SI.

Actually, that sounds to me like just the opposite case. The dev thought it was in imperial units because they might not have known the type of said number. If the number was instead typed with `ImperialUnit unit = ...`, that issue might not have occurred. Now, if the unit value was inputted incorrectly by the programmer, that's a different issue, no amount of typing will fix a business logic typo. As well, if the satellite was fully untyped, issues like these would have occurred far more often, so taking a singular example as a damnation of an entire paradigm doesn't really work.

[0] https://news.ycombinator.com/item?id=27639890

[1] https://blog.ploeh.dk/2015/08/10/type-driven-development/

[2] https://www.epicweb.dev/fully-typed-web-apps
I'd argue that the shtick of javascript is that it runs in a browser. The dynamic thing seems like more of a coincidence to me.
Type Driven Development
Oh no doubt but, and no offence to the English intended, I think the number of Americans who will proudly say "I'm a quarter English!" is miniscule compared to those claiming the same for Irish or Scottish and I haven't heard anyone claiming Welsh heritage personally (despite there being a decent number of American Jones-es)
What Microsoft touches, Microsoft destroys.
I'm not saying this contributes to being more unintelligible. These are just filler words anyhow, not jargon. I agree that if anything, it makes it faster to read a paper since your brain just glosses over the same structures you've read 1000 times already and directs you to the meat. However, as someone who reads a lot of papers for my job, I just wish writers were more interesting——you will never see an em dash like I've used here, for example. Maybe scientists could benefit from reading more Hemingway in their downtime.
I've always wondered where the universe is.
I think despots should be able to purchase that entertainment, my objection is more about 6 cents of every dollar I spend on nintendo games (every dollar of profit at least) effectively going straight into the despot's pocket.
What if you could avoid the travel? Perhaps some chance alignment of distant black holes creating something like a gravitational mirror? Bend the light, bend it some more, bend it so it reaches earth today. A 65 million light year round trip.
"Never" is a tiny bit harsh, IMHO; arguably, there have been several of them they just (evidently?) don't offer content producers as much value as it offers to consumers (which includes search engines), and thus the incentives play out in exactly that way

* JSON-LD markup exists in plenty of modern sites

* schema.org markup exists in some

* microformats.org briefly raised its head

The BBC website is the biggest example I know of which has a lot of semantic markup/annotations. IIRC they used to actually have RDF attributes in a lot of the BBC Radio listings
"dark matter but not as much" is still an improvement if you replace it with something better. If MOND predicted these observations and LCDM didn't it's reasonable to say that it is better.
It won't be long (perhaps in the next 2-3 years) before the UK grid will be able to operate for periods without any CCGTs running at all. We've already come quite close this winter, with record low CCGT output and record high wind turbine production.

Wind turbine output, although variable, is also fairly predictable: so good modelling and scheduling should ensure that when CCGTs do operate, they can run as efficiently as possible and not be spinning up and down too frequently.
Curious: Isn't flexport at the forefront of supply chain to predict a slowdown?
I assume it was to make me laugh, which it did. Nobody actually thinks "regulations are bad." The point that is being humorously made is that these things have significant trade-offs and you're pretending not to get it. And I have to compliment you on playing the straight man in the exchange, it wouldn't have been nearly so funny without your participation!

We saw the same thing in early LAN engineering when Ethernet fought it out with Token Ring. Oversimplifying a bit: Token Ring provided a highly regulated guaranteed delivery protocol with lots of complexity and overhead and Ethernet just spurted packets out onto the wire and let the nodes figure out collisions. Can you guess which one is considerably more performant and easier to implement? Even so, Ethernet still has plenty of rules and complexity, just considerably less than Token Ring.
I think Framework is the closest thing to that.
>The bill will force companies to remove any content promoting self-harm, depicting sexual violence or facilitating suicide.

>The amendment [...] would allow Ofcom to prosecute individual executives if they were proved to have connived with or consented to breaking the elements of the bill designed to protect children’s safety. Judges would be allowed to impose prison sentences of up to two years.

Yep, this is exactly like Nazi Germany. The similarities are spooky.

I mean, which bit exactly do you think is Nazi-like - is it holding execs personally accountable for them personally breaking the law?
Probably meant Assembly, as one can't get much simpler than that... =)
I have to do a lot of calculation on the fly. When I'm on a business call and someone gives me up-to-date metrics I frequently have to translate that into numbers that make sense for my business. (e.g. If I'm on the phone with a vendor and someone tells me their unit price is $1.44, I need to add that to my COGS, subtract the current unit price, and multiply by monthly or annual capacity to figure out how that's going to affect costs.) I can do this by touch while I'm talking in 2 - 3 seconds if I have a numpad. If I don't, I need both hands and roughly twice the time per calculation and I need to double-check I typed things right because the numbers aren't aligned quite the same way on each keyboard I use. It becomes a noticeable drag on productivity when I'm performing more complex ad hoc calculations for reports or presentations. I used a macbook for years and won't do it anymore. Linux on a computer with a numpad is the only way for me to go now.
Yes. As well as asbestos and occupational exposure to inhaled particles.
Eliza: A visual novel about an AI counseling program (2019)
I vote we bring back “aether” as a valid term. The aether is stretching everywhere, and in so doing it spreads distant things away faster than light can overcome.
I believe GP meant by predictability "power is available for generation whenever we want it".

What you are saying is that its possible to map out in the future when power is available for generation.
Eternal inflation:
https://en.m.wikipedia.org/wiki/Eternal_inflation

A more reader-friendly explanation:
https://medium.com/amazing-science/if-inflation-is-true-then...
Are you talking about https://cuelang.org/docs/tutorials/tour/intro/ ? Even that is a bit light on detail for real usage, while https://github.com/cue-lang/cue/blob/v0.4.3/doc/tutorial/kub... is kinda rambling. I don't think that there's "One true way" to introduce these concepts; How you teach cue to a config-generation novice is very different from someone who's used to using an IDE to generate kubernetes YAML.
My 3rd grade teacher was into Pigeon Racing. There were always some that never made it home, attrition was higher than you'd think.
My therapist told me I need to (and he's right).

On the surface I have a cushty job. I've been wfh since March 2020, and since the company was acquired in 2021 I fell between the cracks, I basically do what I like, and nobody cares. I'm currently doing my own thing in the morning and evening and working about 4-5 hours in between, but not achieving anything. I don't believe in the (new) company's goals and I don't feel I'm using my talents in a useful way. So it's not great for my mental health, but gee, I'm going to miss the freedom unless I get really lucky.
It's a difficult task, but I shift my computer about 1.5 inches to the right.
Careful, you're coming dangerously close to reinventing SystemVerilog's formal verification support :) SV formal is tough at first but wonderful once you really get it because it lets you lay out your constraints and preconditions and then the solver verifies that your circuit fulfills those requirements.
Unit tests only trace one path at a time; static types cover huge possibility-spaces at once. But of course there are things they can't reason about, which is why we still test, but each of the two is better for catching different kinds of things. One isn't sufficient to replace the other.
It was derailed
Surely you intended a Moore neighborhood and not moor? No relation.
This doesn't make any sense to me, a manager with a technical background. I do use these tools... For their intended purpose. The implication here is there are no functions in management without a software development analog?
Looks like this is another article on the same underlying research, whose discussion from National Geographic was discussed here on HN [0].

[0] https://news.ycombinator.com/item?id=34289138
Something that might help is creating typed / untyped boundaries. Wrap a (possibly untyped) library with your own (maybe incomplete) typed wrapper. Then let Typescript check everything up to your particular boundary and ignore everything afterwards.

It's on you to make sure you're not misusing stuff at the boundary, but less hassle to get set up and always something you can clean up later.
Hmm... maybe. It would depend on what stage of the process. Sounds like it starts with iron oxide, which wouldn't burn per se. But it also sounds like the iron oxide is reduced to iron nanoparticles with dissolved nitrogen in the process. Those would probably burn well, and even if they didn't, you might wind up with a bunch of molten iron, thermite-style. That wouldn't be good, either.
Abstracts can just be keyword soups. Then the AI just has to make sure that the keywords make some vague sense when put next to each other. Or if not they can mix in existing keywords with brand new ones.

Abstracts don’t have to justify or prove what they state.
An example could be plucking data from related posts of different types that are related via Advanced Custom Fields.
As a computer scientist (you can check my publication record through my profile) and an (aspiring) novelist, I disagree. A lot of papers are just poorly written, full stop.

It is also true that science literature contains a lot of jargon that encodes important information. But that doesn't excuse the fact that a lot of scientific writing could be improved substantially, even if the only audience were experts in the same field.
I wouldn't be surprised if there's a hawking radiation equivalent for that edge, but the wavelength is on the order of the size of the universe, so basically impossible to measure
Thanks to Adobe, the universe and all of its galaxies have now been found!
> Don't you regularly update your dependencies

No. Update dependencies as needed for security patches (which typically avoid breaking changes), other than that never update unless there is an explicit business need.
I hope they license it rather than disable the feature.
I've faced that: Hour-long morning standups that went from pairs of people to other pairs of people to talk about things they should have spoken about earlier.

So I just called it out before the meeting started, saying exactly that: updates should be quick, long discussions are welcome but do them afterwards. Every time people started going too deep (if it didn't seem critical), I would ask if they could off-line it.

Just keep on top of it for a while and the culture will eventually change.

NB: Never call out individuals or humiliate people. Make it always about the process. Same with coming late to meetings, just start after a minute and remind the entire team to be on time without picking on anyone. (Unless you have a repeat offender, and than do that in private.)
As an outsider to the tech industry, it seems to me that the Product Manager/Product Owner role seems to be not only the most BS role, but also the most damaging role? Considering that I saw a post a few weeks back, I saw a similar post (I think on HN itself) where PMs were being fired en masse, I wonder if there is any real utility with the product team, or if it's just a holdover from Google doing its thing back in the days that everyone decided to copy.
That rate is "only" approximately 68 kilometers per second per megaparsec.

68 kps isn't that fast (it's about the same speed as the Helios 2 solar probe) and a mega parsec is big distance (3.2M light years).

Its that there's a lot of megaparsecs between here and there and the sum of all of those 68 kps is more than the speed of light.

The relevant Kurzgesagt : TRUE Limits Of Humanity – The Final Border We Will Never Cross - https://youtu.be/uzkD5SeuwzM
I can't imagine thinking this is a good idea if you've done any programming whatsoever. What happened here?
Now take the derivative of a delimited continuation.
This is exactly wrong: c is the one speed that is constant to all observers.
Part I: Founder-Led Enterprise Sales, Zero to $5M in ARR
That makes no sense. Kelvin and Celsius are the same, just with a different 0.

I know exactly what a temperature of 0°C, 10°C, 20°C or 30°C will feel like, and I’m pretty sure I’m human.
> Is the alternative to crash and restart the whole process on panic?

Yes.

> assuming that you can catch panics at all

A panic may happen to be safe to catch and recover from, but this isn't guaranteed, and can't be assumed in general. It's only safe to recover from a panic which you know is benign -- in all cases, across all build and runtime architectures. This is possible in packages that you fully control and which have no external dependencies, or (by fiat) in stdlib packages like net/http. But it's not the case for your service binary with a go.mod that's 100 lines long.
They are userbars of the notebooks
Shout your head off at virtual reality cartoons with a high-tech human muzzle
The easiest way is to avoid buying foods that are required to have labels. I do most of my shopping in the produce, dairy, and butcher section to avoid that.
> Did you upgrade Typescript (and if so, why), or did you upgrade some project dependencies, or type definitions?

I need to upgrade it because I upgraded a dependency that needed a newer version of TypeScript to compile! And I needed that dependency to be upgraded to use a newer version of NodeJS.

It seems that the newer version of TS was more strict, and now I can't find a type from ProtobufJS that fits the code. I can update here when I understand more about this particular case, but presently my best bet is to loose some typing and autocompleting by using some unknown types :(
As for "worth it" — as someone replied in another comment, it's a question for you. You better than us know your use case, your strengths and weaknesses.

Me, I love typescript. It's an extra reassurance that my code will probably work correctly — and even though it isn't as trustworthy as Elm, Haskell, or Purescript, it's better than nothing. It is a good pair programmer who has many times saved me from stupid mistakes I made while writing code. And it holds my hand while I am refactoring — I would be scared to do that in a javascript codebase. Tests would help with refactoring, of course; but they aren't as exhaustive as a static type checker is.
Developer experience seldom correlates with user experience.
I prefer engineering like a manager
I think one of the key tensions in this kind of scenario is individuals combination of traits massively influence the way they view the code and they're generally blind as to what the world looks like to engineers with a different combination of traits.

Just because someone has a higher IQ doesn't make them objectively better on all measures. It usually does mean they have cognitive access to things that others do not, and this can be beneficial as well as detrimental. It's seriously beneficial when they are able to come up with a simpler, more elegant solution when the rest of the team can't where that solution ratchets down the level of complexity and/or the cognitive load on the team. It's seriously detrimental when they propose solutions that do the opposite simply because they can conceive of it and it solves some problem they think exists and/or that needs solving and ratchets up complexity and increases cognitive load.

I like the example of the engineer arguing for less whitespace because he personally doesn't need it where others do, but he's unable to see the effects it would have on other people were it to be removed and how in aggregate that would likely result in a worse outcome.

There's an engineer that I work with occasionally who is like this. He loves complexity and absolutely thrives on it. It's like oxygen to him. He's very smart. He's also a 20+ year veteran, 10+ of which is with the current company. There are things which I know he is uniquely capable of producing, and in such a scenario I want what he would produce as it would be significantly better than what almost anyone else would do. However, 99 times out of 100 I want what almost anyone else would produce than what he would, as he optimizes only for himself and not the wider team. We have an upcoming overhaul of a legacy system that were both chomping at the bit to get stuck into, and I've been told to "get in line", but I'm not just going to lie down and take an attitude like that when I know what the result might be. Needless to say I think it will require being both firm and diplomatic.
I don’t disagree. I think what is happening is we all thought FSD would be available by now. Since it is not, we are now collectively dismissing it. The world will be much better with FSD however so let’s give it a chance.
RIP Big Bang Theory