なんですかこれは! New attack bypasses HTTPS protection on Macs, Windows, and Linux DHCP につなぐと PAC ファイルがダウンロードされて HTTPS であろうとアクセス先の Full URL は漏れるですって? Web Proxy Autodiscovery ですって? チョットニホンゴデオネガイシマス ってことで、まぁこれが実際どれくらい簡単に実現できる攻撃パターンなのかは他のセキュリティ業界の方々に後で聞くとして、この記事でも触れられてる OpenID Connect とか OAuth2 への影響について、ちょっとまとめておきましょうか。 Authorization Request & Response が漏れる response_mode=form_post なんていうのも一部ありますが、基本 OAuth2 /
Submit Your T-Shirt Design Today! RISC-V Summit North America 2024 | October 22-23 Submit your design for the RISC-V T-Shirt Design Contest. The winning design will be on the 2024 RISC-V Summit North America participant t-shirt! Upcoming Event RISC-V Summit Europe The RISC-V Summit Europe is the premier event that connects the European movers and shakers - from industry, government, research, acad
NVIDIA Is Building Its Next-Gen Falcon Controller Using RISC-V Written by Michael Larabel in NVIDIA on 26 July 2016 at 12:34 PM EDT. 6 Comments For the past decade NVIDIA GPUs have shipped with a proprietary micro-controller they've called Falcon (also for Nouveau users you may recall it through "FUC" for the Falcon micro-controller), but a next-gen controller is being built now for future NVIDIA
This week I attended the 3rd RISC-V Workshop and I was blown away by the momentum and energy in the room. This architecture is clearly going places! The best way to convince yourself of the quality of RISC-V ISA is to start working with the open source reference implementations on github. It took me less than 1 hour total to set up risc-v tools and generate verilog code from chisel! If you need mo
RISC-V は命令セットからオープンな命令セットアーキテクチャである。 なかなか面白いので最近はまっている。 http://riscv.org/ 命令セットを見る限り、あまりMIPSとの差は見られないのだが、顕著なものとして、ハードウェアに落としたときに性能を出しやすい構成になっているようで、 遅延スロットは存在しない 命令セットは単純 フラグは存在しない(これはMIPSも) HI/LOレジスタは存在しない(これはリネーム管理するときにやっかいだった...) 現在、RISC-V用のISSを作ってみているが、これはMIPSの自作シミュレータを土台にした。まあ土台がひどいので改修にかなり苦労してはいるが。 例外回りなど、まだ理解できていないことが多い。 まずは、例外回りや特殊な動作を除いた、シンプルなシミュレータを作ってみて、動作を見てみようと思う。 Coremarkのコンパイルはできたので
Open Sourcing Searchspot, Honeypot’s Search Engine Jul 21, 2016 Developer Careers Giovanni Capuano Honeypotters take the open source world very seriously. We use developers’ GitHub profiles to evaluate the code of talents that will hopefully join our batches. As our platform uses lots of open source components and the tech team members themselves contribute to many open source projects, we are ver
Appleが2016年第3四半期の決算を発表しました。2016年第2四半期は前年同期比でiPhoneの売上が16%ダウンしましたが、今期も同様の傾向が見られ、iPhone・iPad・Macという3つのデバイスいずれにおいても売上が減少しています。 Apple Inc. Q3 2016 Unaudited Summary Data (PDFファイル)http://images.apple.com/pr/pdf/q3fy16datasum.pdf Apple's sales fall across iPhone, iPad, and Mac | The Verge http://www.theverge.com/2016/7/26/12290408/apple-q3-2016-earnings-device-sales-chart Apple's iPhone sales slump agai
I’ve been programming in Object Oriented languages for decades. The first OO language I used was C++ and then Smalltalk and finally .NET and Java. I was gung-ho to leverage the benefits of Inheritance, Encapsulation, and Polymorphism. The Three Pillars of the Paradigm. I was eager to gain the promise of Reuse and leverage the wisdom gained by those who came before me in this new and exciting lands
This post is about my ongoing master’s thesis under Jeremy Avigad at Carnegie Mellon University, in which I’m trying to tackle formal verification of Rust programs in the interactive theorem prover Lean, and a first result of the project: a complete verification of the Rust stdlib’s binary search function. Putting the ‘Formal’ into ‘Formaldehyde’ Formal Verification is the act of mathematically re
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く