HN user

tomas789

622 karma

CEO of Ampiato.com - We do optimizations and scheduling in power sector. What power output should we run the power station at? Should we invest in new turbogenerator? Done that for hydro, wind, gas CCGT and OCGT, nuclear, …

Posts43
Comments135
View on HN
deepmind.google 1mo ago

DiffusionGemma

tomas789
3pts1
en.wikipedia.org 10mo ago

Printer Tracking Dots

tomas789
2pts1
hugovk.github.io 1y ago

Free-Threaded Wheels

tomas789
1pts1
codegolf.stackexchange.com 1y ago

Show HN: Fast Leap Year Check

tomas789
1pts0
status.gitlab.com 1y ago

Gitlab Is Down (Again)

tomas789
3pts1
github.com 2y ago

Dive: A tool for exploring a Docker image, layer contents and more

tomas789
464pts61
rustc-dev-guide.rust-lang.org 2y ago

Rust Compiler Development Guide

tomas789
5pts0
www.powersync.co 2y ago

Powersync.co: offline-first and real-time data for apps with SQL back ends

tomas789
3pts0
gist.github.com 2y ago

Automatic Differentiation in 26 lines of Python

tomas789
1pts0
mattferraro.dev 3y ago

Hiding Images in Plain Sight: The Physics of Magic Windows (2021)

tomas789
2pts0
tratt.net 3y ago

Which Parsing Approach? (2020)

tomas789
52pts18
hackaday.com 3y ago

All about USB-C: Cable Types (2022)

tomas789
3pts3
trove.nla.gov.au 3y ago

Three dead after dog falls 13 floors (1988)

tomas789
10pts16
www.youtube.com 3y ago

Fastest 3D printed Mainsail logo? 1500mms 50K [video]

tomas789
1pts0
jsonnet.org 3y ago

Jsonnet – The Data Templating Language

tomas789
118pts93
news.ycombinator.com 3y ago

Tell HN: Airbnb can charge you anything and there is nothing you can do about it

tomas789
57pts37
news.ycombinator.com 3y ago

Ask HN: Keyboard friendly search engine for developers?

tomas789
2pts4
medium.com 3y ago

Tips from GitHub, Vol 1: Customer Service Is King (2017)

tomas789
1pts0
twitter.com 3y ago

Possible Intel Alder Lake BIOS source code leak

tomas789
7pts0
tomas789.medium.com 3y ago

A tail of nice marble runs

tomas789
3pts0
www.youtube.com 3y ago

Baremetal LED Blinking in Raspberry Pi in Rust [YouTube]

tomas789
2pts0
github.com 3y ago

Show HN: ESP32 Smart Solar Charger – The Open Solar Project

tomas789
1pts0
news.ycombinator.com 4y ago

Ask HN: Who is using Haskell in production?

tomas789
6pts3
twitter.com 4y ago

Oil Production Vessel Explodes Off the Coast of Nigeria

tomas789
1pts1
www.bugsnag.com 4y ago

The Worst Computer Bugs in History: Losing $460m in 45 minutes (2017)

tomas789
1pts0
news.ycombinator.com 4y ago

Liquid Haskell

tomas789
2pts2
news.ycombinator.com 4y ago

Ask HN: How to start with formal verification to find bugs

tomas789
16pts9
raywang.tech 4y ago

Formal Verification: The Gap Between Perfect Code and Reality [2017]

tomas789
3pts0
www.infoworld.com 4y ago

How to use structural pattern matching in Python

tomas789
2pts0
www.apple.com 4y ago

Apple Magic Keyboard with Touch ID

tomas789
1pts0

I don’t think this is as simple as it seems. For example, we have our own CA and issue several mTLS certificates, with hundreds of them currently in use across our machines. We need to check every single one (which we don’t do yet) because there is an additional distribution step that might fail selectively. And that’s not even touching on expiring CAs, which is a total nightmare.

I used to write actively on LinkedIn. Nothing big but still something. I couldn’t align with myself with the original post but I couldn’t tell why. This is aligned with my understanding of how LinkedIn works much more. Thank you for explaining that to me.

GPT-5 12 months ago

What surprises me the most is that there is no benchmarks table right at the top. Maybe the improvements are not to call home about?

Python 3.13 has finally introduced free threading, which is a big deal. I initially thought we wouldn't be able to use this in production for ages since packages would need time to adapt. Surprisingly, it looks like it might be ready for real-world use much sooner than I expected.

I'm no electrical engineer but would that really be so much cheaper? A buck converted is essentially the same thing where the transformer is replaced by an inductor. You get rid of a bit of copper but all the power electronics to do the high-frequency switching is still there. Together with most of the components.

They "estimate" this would save 60% on galvanic link, and on the rest, you can save another half. So that would mean you are at 20% cost plus some ground wire fault detection HW.

IPv6 Is Hard 1 year ago

I wouldn’t want to relay on random caffee’s router to do this for me. I would still end up running firewall more carefully on my end devices. Which for my iPhone I’m not even sure if I can. So probably a personal VPN would be a must.

This assumes that we reverse the reaction. That does not need to be the case. We can put it back into the ground. It can either stay where natgas or crude used to be or we can basically turn that into rock (don’t know details but there is a process to do that). Or it can be put in salt caverns.

Either way we still need to capture the CO and CO2 from flue gas which is costly even from point sources and way worse from DAC. Unless we do oxyburning or fosil fuels which is a hack but you need a source of cheap oxygen which we don’t have unless we dramatically scale up electrolysis.

This is certainly a step in right direction especially with proliferation of AI based assistants there will be a greater need to have readily available information about the codebase. This could easily take those copilots yet another level up.

For example my workflow now with Cursor is to keep relevant code in spearate tabs even though I don’t work on the files. I found it makes the autocomplete better as at seems to me that all the active tabs are fed to the model. That means less space for me and more distraction. Glean might here.

I don’t think that is the case. Surface roughness and directional changes are big losses. For example a single valve on a high pressure line can have a bigger pressure drop than 2 bars. So 160 km of a pipeline will drop a lot more.

Once we know it can be done, there is much higher chance somebody will look really hard into it and with a bit of luct, they will come up with a practical algorithm. Or at least good one for some edge cases.

Not an author but

1) It is usually done on a single machine. Often times even on single core.

2) Spikiness of the solve time is a real problem in practice.

3) You get partial solutions but they tend to be fare apart but with great improvements.

It is called duality. For each linear program that is maximizing, you can find a dual linear program wich is minimization. They both have the same optimal objective value. Thus one serves as a lower bound and the other as an upper bound on the optimal objective value. The gap between them is used to measure the closeness to the global optima.

Great thing is that you can find the dual really easily and each feasible solution of the primal problem can be used to get a feasible solution of the dual.

The math behind that is really neat.

This vulnerability – that went unnoticed for 14 years and about 80 highest-level Common Criteria certification evaluations

This is yet another example of why you don’t f around with crypto and auth in general. Just use best practices and you might be OK.