Tech one

Best topics tech news 4 us.

Home
Samsung
Apple
Mac Downloads

Tuesday, March 17, 2026

Leanstral: Open-source agent for trustworthy coding and formal proof engineering

Leanstral: Open-source agent for trustworthy coding and formal proof engineering
588 by Poudlardo | 127 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/PUcv1yi

on March 17, 2026

Email This BlogThis!Share to X Share to Facebook Share to Pinterest

Kagi Translate now supports LinkedIn Speak as an output language

Kagi Translate now supports LinkedIn Speak as an output language
580 by smitec | 154 comments on Hacker News.

on March 17, 2026

Email This BlogThis!Share to X Share to Facebook Share to Pinterest

US SEC preparing to scrap quarterly reporting requirement

US SEC preparing to scrap quarterly reporting requirement
512 by djoldman | 271 comments on Hacker News.

on March 17, 2026

Email This BlogThis!Share to X Share to Facebook Share to Pinterest

Monday, March 16, 2026

Corruption erodes social trust more in democracies than in autocracies

Corruption erodes social trust more in democracies than in autocracies
441 by PaulHoule | 197 comments on Hacker News.

on March 16, 2026

Email This BlogThis!Share to X Share to Facebook Share to Pinterest

How I write software with LLMs

How I write software with LLMs
397 by indigodaddy | 372 comments on Hacker News.

on March 16, 2026

Email This BlogThis!Share to X Share to Facebook Share to Pinterest

Newer Posts Older Posts Home

Subscribe to: Posts (Atom)

Translate

Follow @tech197381481

You may like!

How One Woman Discovered the Female Fat-Loss Code Missed
ReVision – A New Way to Supercharge Your Vision!

“We all need people who will give us feedback. That’s how we improve.“ Bill Gates

god is faithful

"My job is not to be easy on people. My job is to make them better." Steve Jobs

Search This Blog

Home
Mac Downloads
Windows Downloads
MP4 & MP3 Youtube Downlolad

Books Library

Popular Posts

Twitter reacts to Meghan Markle and Prince Harry's Oprah interview

The internet went wild over the charged Meghan Markle and Prince Harry interview. from via Tech one
Biden Is Assembling a Big Tech Antitrust All-Star Team

Appointing Lina Khan to the FTC would add an anti-monopoly crusader to a crucial position—as does Tim Wu’s installment at the National Econ...
Critics blast Biden administration for denying entry to thousands of people still affected by Trump's 'Muslim ban'

The Diversity Visa program is intended to offer a legal path to citizenship for groups of people underrepresented in the traditional immigr...
Culture Amp and Atlassian are in the top 10 on Fast Company’s list of the world’s most innovative companies - Startup Daily

Australian workplace tech powerhouses Atlassian and Culture Amp have been included in the top 10 for Fast Company’s annual list of the worl...
Samsung will host another Unpacked event on March 17th

New Galaxy A-series phones will likely be announced from via Tech one
In a first for Europe, Passion Capital will crowd-fund part of its new $62M fund from retail investors

Passion Capital, one of the UK’s first early-stage VCs, is to crowd-fund the final stage of its latest £45 million fund ($62.5m), Passion C...

Blog Archive

Report Abuse

Wikipedia

Search results

Labels

Apple
Hacker News
Samsung

Translate

god is faithful. Powered by Blogger.