Hacker News: topazas

New comment by topazas in "Cohere Transcribe: Speech Recognition"

topazas — Tue, 31 Mar 2026 17:20:07 +0000

How hard could it be to train other European language(-s)?

New comment by topazas in "AI will make formal verification go mainstream"

topazas — Wed, 17 Dec 2025 06:57:40 +0000

Right, but let's assume we have really simple crud application in mainstream language, could be ts or python. What are current best approaches to have this semi-formally verified, tools, methods, etc?

New comment by topazas in "OpenMANET Wi-Fi HaLow open-source project for Raspberry Pi–based MANET radios"

topazas — Fri, 14 Nov 2025 09:11:42 +0000

In Europe still struggle.

New comment by topazas in "Show HN: Nuanced – Help AI understand code structure, not just text"

topazas — Wed, 12 Mar 2025 18:33:29 +0000

Title misleading - not CODE, just python.

New comment by topazas in "Open Euro LLM: Open LLMs for Transparent AI in Europe"

topazas — Tue, 04 Feb 2025 11:00:09 +0000

No name scientists will create an actual product. Plain funny or just sad?...

New comment by topazas in "Maker Pipe – Structural Pipe Fittings for DIY Builders"

topazas — Tue, 24 Sep 2024 07:00:12 +0000

Awesome, but what does 1'' mean? Some weird measurement unit?

New comment by topazas in "KLEE Symbolic Execution Engine"

topazas — Tue, 27 Aug 2024 21:35:15 +0000

I would like to - but unable to find any libraries / engines that would function in a some sort of 'mocked' environment. for example - i need to cover all execution paths for only single function with high cyclomatic complexity, given all other stuff is mocked. Maybe it would be called unit test mix with se. also for dynamic languages such as php/python/ruby.

New comment by topazas in "Deterministic Linux for controlled testing and software bug-finding"

topazas — Tue, 22 Nov 2022 19:39:33 +0000

maybe symbolic execution also can be included here?

New comment by topazas in "JetBrains Fleet: The Next-Generation IDE by JetBrains"

topazas — Mon, 29 Nov 2021 20:54:43 +0000

same to me - sad story every day..

New comment by topazas in "Show HN: Monito, a browser extension for software testers"

topazas — Mon, 03 May 2021 15:21:02 +0000

Any open source alternatives?

New comment by topazas in "Show HN: Predict Then Propagate Graph Neural Networks Meet Personalized PageRank"

topazas — Wed, 22 Apr 2020 19:27:12 +0000

can this be used with large graphs, or particularly tree structures?

New comment by topazas in "Show HN: Sourcetrail – Visual Source Explorer Now Supports Python"

topazas — Fri, 24 May 2019 14:36:26 +0000

Awesome! Will try without a doubt.

New comment by topazas in "Show HN: Retool – build internal tools faster"

topazas — Thu, 09 Aug 2018 19:18:51 +0000

Do You have any plan, when the on premise tool will be publicly available on github?

New comment by topazas in "3D online platform for finding new apartment"

topazas — Thu, 18 May 2017 08:59:56 +0000

Thank You for guidelines. In popup there is simple site usage information, so there's no need to be worried.

New comment by topazas in "3D online platform for finding new apartment"

topazas — Wed, 17 May 2017 10:28:25 +0000

Hi,

our startup created platform for searching new apartments in Vilnius/Europe. It works like global 3D map with indoor maps for apartments.

Any feedback would be nice. Thank You.

3D online platform for finding new apartment

topazas — Wed, 17 May 2017 10:28:05 +0000

Article URL: https://www.onmap.lt

Comments URL: https://news.ycombinator.com/item?id=14357130

Points: 3

# Comments: 3

New comment by topazas in "Toyota to Invest $1B in AI and Robotics R&D"

topazas — Sat, 07 Nov 2015 16:51:21 +0000

East Europe universities, particularly lithuanian (VU and KTU) pays about 300$ per month for PhD student.

New comment by topazas in "Thanks HN: Glowforge will open-source its firmware"

topazas — Fri, 25 Sep 2015 10:13:41 +0000

I want this so badly... still no money :/