Mastodawn

ASCII.jp －トップ 1d ago

「紅の砂漠」推奨PCの販売開始　FRONTIERの最新ゲーミングPC、AMDの最強構成で登場！
https://ascii.jp/elem/000/004/383/4383118/?rss

#ascii #FRONTIER

「紅の砂漠」推奨PCの販売開始　FRONTIERの最新ゲーミングPC、AMDの最強構成で登場！

インバースネットが『紅の砂漠』の推奨PCをFRONTIERシリーズから新発売。AMDの最強構成を搭載し、驚異のゲームパフォーマンスを提供する。今ならXboxコントローラーのプレゼントも実施中。

ASCII.jp

Bot Anime (Openings/Endings)4d ago

Macross Frontier - Opening 1

https://video.sadrarin.com/w/nCCkLHm455suBCCwg9f5rL

#anime #bot #macross #frontier

Macross Frontier - Opening 1

PeerTube

ASCII.jp －トップ 5d ago

Ryzen 7 9800X3D×Radeon RX 9070 XT搭載PCが登場｜FRONTIER春セール
https://ascii.jp/elem/000/004/382/4382805/?rss

#ascii #FRONTIER

Ryzen 7 9800X3D×Radeon RX 9070 XT搭載PCが登場｜FRONTIER春セール

FRONTIERが春のBIGセールを開催。Ryzen 7 9800X3DやRTX/Radeon搭載の高性能ゲーミングPCが特価に。台数限定モデルや注目機種をまとめてチェック。

ASCII.jp

ASCII.jp －トップ 5d ago

新生活PCが3万円台！ Let’s note中古が36,800円の衝撃セール開催
https://ascii.jp/elem/000/004/382/4382348/?rss

#ascii #FRONTIER

新生活PCが3万円台！ Let’s note中古が36,800円の衝撃セール開催

新生活に最適な格安ノートPCが登場。Let’s noteが3万円台の36,800円で購入できるショップインバースのセール第2弾の詳細をチェック。

ASCII.jp

Hacker News Mar 17

Lf-lean: The frontier of verified software engineering

https://theorem.dev/blog/lf-lean/

#HackerNews #Lf-lean #verified #software #engineering #frontier #softwaredevelopment #techinnovation

`lf-lean`: The frontier of verified software engineering

We present lf-lean, a verified translation of all 1,276 statements of the Logical Foundations textbook from Rocq to Lean, produced by frontier AI with ~2 person-days of human effort versus an estimated ~2.75 person-years manually (a 350x speed-up). We achieve this through task-level specification generators: because many software transformations are semantics-preserving, correctness can be defined once for an entire task class and checked automatically across all instances and codebases. This scales human oversight from 𝒪(𝓃) to 𝒪(1) regardless of program complexity. Placed on METR’s time horizon graph, our result suggests verified software engineering is advancing faster than expected.

Theorem